Flattening CFG into MR (machine representation)