(* Title:  150-add-given.sml

    Author: Walther Neuper 1105

    (c) copyright due to lincense terms.

 *)

 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];

 val (dI',pI',mI') =

   ("Test", ["sqroot-test","univariate","equation","test"],

    ["Test","squ-equ-test-subpbl1"]);

 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))]; (*nxt = ("Model_Problem"*)

 val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = (_,Add_Given "equality (x + 1 = 2)*)

 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = (_,Add_Given "solveFor x"*)

 case nxt of (_, Add_Given "solveFor x") => ()

 | _ => error "minisubpbl: Add_Given is broken in root-problem";