let assigns_method () =
let mth = Wp_parameters.get_assigns_method () in
match mth with
| Mcfg.NoAssigns -> mth
| Mcfg.EffectAssigns when WpModel.effect_supported -> mth
| Mcfg.RegionAssigns when WpModel.region_supported -> mth
| _ ->
if WpModel.assigns_supported
then Mcfg.NormalAssigns
else Mcfg.NoAssigns