let split meth p =
  match meth with
    | Mcfg.EffectAssigns -> dispatch (p_unfold Env.empty p)
    | _ -> dispatch p