Parameter Make_pure_sat.1-Th

module Formula : Msat.Solver_intf.FORMULA
type proof