intermediate clocks were not propagated to ClockCollector when unfolding
ternary expressions like inf or sup.
Fix semantics of implies to implies union of clocks, we can add more
constraints to mean implies intersection of clocks