simplification of cfg