bail out early for trivial sideconditions

1 job for time/check-trivial-goal in 12 minutes and 14 seconds (queued for 33 seconds)
Status Name Job ID Coverage
  Build
passed build-coq.8.14.0-timing #157565
fp-timing

00:12:14