let add_assigns env pid label kind assigned wp =
    match assigns_method () with
      | Mcfg.NoAssigns -> Wp_parameters.abort "Unsupported assigns with the model"
      | Mcfg.NormalAssigns -> add_normal_assigns env pid label kind assigned wp
      | Mcfg.EffectAssigns -> add_effect_assigns env pid label kind assigned wp
      | Mcfg.RegionAssigns -> add_region_assigns env pid label kind assigned wp