Make coverage checker a lot faster
...with strategic use of 'nub' so as not to generate a crazy number of
clauses!