Start integrating the anti-goal analysis features.
Step 1: single refinement for anti-goals