state

val state: MutableSet<KClass<out L2ControlFlowGraph.StateFlag>>

The current state of the graph. New control flow graphs are expected to be in SSA form.