let get_assigns_method () =
  match Assigns.get () with
    | "effect" -> Mcfg.EffectAssigns
    | "region" -> Mcfg.RegionAssigns
    | "memory" -> Mcfg.NormalAssigns
    | "none"   -> Mcfg.NoAssigns
    | m -> abort "Unknown assigns method '%s'" m