Overlapped implication and nonoverlapped imlplication

In reply to dip0:

Because it is not always followed by ##1. Sometimes you need to perform other checks in this same cycle.