bail out early for trivial sideconditions

1 job for time/check-trivial-goal in 12 minutes and 14 seconds (queued for 33 seconds)