pub trait InferenceFactInterface: Debug + Display + Default + Clone { // Required method fn empty() -> Result<Self>; }