bail out early for trivial hyps

Merged Michael Sammler requested to merge time/check-trivial-hyp into master

Merge request reports