before changing the way to treat while: all basic block following the colored while basic block should also have the same color