Continue refinement even when a valid precondition set is found #18

Closed kris701 closed 7 months ago