val infer_form : (StateSet.t * StateSet.t) -> (StateSet.t * StateSet.t) -> t -> bool
(** [eval_form S1 S2 F] infers S1; S2 |- F *)
val infer_form : (StateSet.t * StateSet.t) -> (StateSet.t * StateSet.t) -> t -> bool
(** [eval_form S1 S2 F] infers S1; S2 |- F *)