Functor LazyModelChecker.Make_Lazy_Model_Checker

module Make_Lazy_Model_Checker: functor (Abstraction : BlastArch.ABSTRACTION) -> sig  end

include LAZY_MODEL_CHECKER

val print_stats : Format.formatter -> unit -> unit

val print_phis : bool -> string

val process_env_assumptions : (Ast.Expression.lval * Ast.Predicate.predicate) list -> unit