Improved analysis of guaranteed execution

[wimmers]

To correctly analyze local clock ceilings, we need to identify the set of clocks that are always reset on a certain edge. The current program analysis for this property is very restrictive. We should improve it by analyzing conditional branches.