ControlFlow derives transitions from parsed program