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