Better Coverage in QuickTest IV

-----module QuickTest>-----
 74% expressions used (610/821)
  0% boolean coverage (0/6)
       0% guards (0/5), 4 always True, 1 always False
       0% 'if' conditions (0/1), 1 always False
     100% qualifiers (0/0)
 64% alternatives used (42/65)
 93% local declarations used (15/16)
 76% top-level declarations used (33/43)