 - 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.


lememta/lustrec,lememta/lustrec,lememta/lustrec