Intervals
An interval is a subgraph that basically corresponds to a program loop.
An interval I with initial node h is the maximal subgraph (I, Γ_{I}) of (S, Γ) such that:
To construct an interval starting with node h :
Members of Γ I - I must be the heads of other intervals.