use check_injection_tac also in normalize_and_simpl_goal

1 job for master in 31 minutes and 21 seconds (queued for 8 seconds)