EvalPred.Make
module A : Arg
val check_invariant : size:int -> A.Context.t -> Ctypes.Pred.t -> A.binary -> bool
val use_invariant : size:int -> A.Context.t -> Ctypes.Pred.t -> A.binary -> A.Context.t option