Speed improvement for coverage checking
Lots of repeated work in checking repeated clauses chopped out
(there's more of this to come)