and exists_runner env loc p debug_tactic =
Cmdline.debug "%a: running implicit existence rule for tactic %s"
Ast.string_loc loc debug_tactic;
if needs_rebuild env loc [] [] p then
and exists_runner env loc p debug_tactic =
Cmdline.debug "%a: running implicit existence rule for tactic %s"
Ast.string_loc loc debug_tactic;
if needs_rebuild env loc [] [] p then