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