Whether the control flow graph is in edge-split form, which ensures that no edge both leads from a node with multiple successor edges and leads to a node with multiple predecessor edges.