Removed assertion in EdgeMoveOptimizer that is not valid anymore because of guards Made IdealGraph printing to network faster : use a buffered output stream Change in the scheduling of outer framestates : they would sometimes be pushed too high because of the inner framestate being attached to a merge Framestate now automatically delete their outerframestate if possible when the inner framestate is deleted Peeling : When coloring down, color the exception edges fix around framestates on 'dangling merges' allow some nodes to be white when splitting handle outerframestates properly when splitting