partitioning control flow graph