undo forced partial instantiation of reachability axioms