Verification.Solver
Solves verification conditions using various proof backends
val solve_vc : Shared_ast.decl_ctx -> Conditions.verification_condition list -> unit