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