1.1 --- a/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Mon Oct 02 15:39:22 2023 +0200
     1.2 +++ b/test/Tools/isac/Minisubpbl/200-start-method-NEXT_STEP.sml	Tue Oct 03 16:31:59 2023 +0200
     1.3 @@ -85,7 +85,7 @@
     1.4          (pbt, I_Model.OLD_to_TEST itms');
     1.5  "~~~~~ fun check , args:"; val (ctxt, where_rls, where_, (model_patt, i_model)) =
     1.6    (ctxt, where_rls, where_, (pbt, I_Model.OLD_to_TEST itms'));
     1.7 -      val (_, env_model, (env_subst, env_eval)) = of_max_variant model_patt i_model
     1.8 +      val (env_model, (env_subst, env_eval)) = make_environments model_patt i_model
     1.9        val pres_subst = map (TermC.subst_atomic_all env_subst) where_;
    1.10        val pres_subst_other = map (TermC.subst_atomic_all env_model) (map #2 pres_subst);
    1.11        val full_subst = if env_eval = [] then pres_subst_other
    1.12 @@ -231,7 +231,7 @@
    1.13            (model_patt, program, prog, prog_rls, where_, where_rls)
    1.14        | _ => raise ERROR ("init_pstate with " ^ MethodC.id_to_string met_id)
    1.15  
    1.16 -    val (_, env_model, (env_subst, env_eval)) = I_Model.of_max_variant model_patt i_model;
    1.17 +    val (env_model, (env_subst, env_eval)) = make_environments model_patt i_model;
    1.18      val actuals = map snd env_model
    1.19  (*+*)val "[x + 1 = 2, x, L]" = actuals |> UnparseC.terms @{context}
    1.20