state

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