always add always_false() clause when tally contains a deduct

[Jamiras]

The logic:

tally(5, good(), deduct(bad()))

Would generate the code:

SubHits bad()
        good() (5)

This would clamp the number of times good() could be tallied to 5, so if any bad()s were tallied, the logic would never be true.

The correct code would be:

SubHits bad()
AddHits good()
        always_false() (5)

Which allows good() to be tallied more than 5 times to counteract any deductions made by bad(). If There needs to be a limit on good(), it can be wrapped in it's own repeated().