Simplification of cfg