fast bailout for normalize_and_simpl_goal

1 job for master in 12 minutes and 3 seconds (queued for 5 seconds)