Added a subgraph for each complex statements that deserve one (for, if, etc.)