generated at
control-flow graph
Interval (graph theory)