Now reverting hypotheses if substituted variables occur in it.

3 jobs for master in 8 minutes and 51 seconds (queued for 5 seconds)