- missing case in clock disjunction predicate, the absence of which produced weak (but still correct) optimization results.
- missing case in clock disjunction predicate, the absence of which produced
weak (but still correct) optimization results.