diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/Interpret/me.sml
--- a/test/Tools/isac/Interpret/me.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/Interpret/me.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -10,9 +10,9 @@
 "-----------------------------------------------------------------";
 "table of contents -----------------------------------------------";
 "-----------------------------------------------------------------";
-"=====new ptree 1: crippled by cut_level_'_ ======================";
+"=====new ctree 1: crippled by cut_level_'_ ======================";
 "-------------- get_interval from ctree with move_dn:modspec.sml -";
-"=====new ptree 2 without changes ================================";
+"=====new ctree 2 without changes ================================";
 "-------------- getFormulaeFromTo --------------------------------";
 "autoCalculate"; 
 "--------- solve_linear as rootpbl AUTOCALCULATE CompleteModel ---";
@@ -25,9 +25,9 @@
 
 
 
-"=====new ptree 1: crippled by cut_level_'_ ======================";
-"=====new ptree 1: crippled by cut_level_'_ ======================";
-"=====new ptree 1: crippled by cut_level_'_ ======================";
+"=====new ctree 1: crippled by cut_level_'_ ======================";
+"=====new ctree 1: crippled by cut_level_'_ ======================";
+"=====new ctree 1: crippled by cut_level_'_ ======================";
 reset_states ();
 CalcTree
 [(["equality (x/(x^2 - 6*x+9) - 1/(x^2 - 3*x) =1/x)",
@@ -60,12 +60,12 @@
 moveActiveFormula 1 ([4,2],Res)(*4.2.1.*);
 interSteps 1 ([4,2],Res)(*..is activeFormula !?!*);
 val ((pt,_),_) = get_calc 1;
-writeln(pr_ptree pr_short pt);
+writeln(pr_ctree pr_short pt);
 (*delete [4,1] in order to make pos [4],[4,4] for pblobjs differen [4],[4,3]:
  ###########################################################################*)
 val (pt, _) = cut_level_'_ [] [] pt ([4,1],Frm);                         (*#*)
 (*##########################################################################*)
-writeln(pr_ptree pr_short pt);
+writeln(pr_ctree pr_short pt);
 (*##########################################################################
   attention: the ctree in states is still the old (perfect) !!!
 ############################################################################*)
@@ -75,7 +75,7 @@
 "-------------- get_interval from ctree with move_dn:modspec.sml -";
 "-------------- get_interval from ctree with move_dn:modspec.sml -";
 "-------------- get_interval from ctree with move_dn:modspec.sml -";
-writeln(pr_ptree pr_short pt);
+writeln(pr_ctree pr_short pt);
 writeln(posterms2str (get_interval ([],Frm) ([],Res) 99999 pt));
 
 case map fst (get_interval ([],Frm) ([],Res) 99999 pt) of
@@ -219,9 +219,9 @@
 
 
 
-"=====new ptree 2 without changes ================================";
-"=====new ptree 2 without changes ================================";
-"=====new ptree 2 without changes ================================";
+"=====new ctree 2 without changes ================================";
+"=====new ctree 2 without changes ================================";
+"=====new ctree 2 without changes ================================";
 reset_states ();
 CalcTree
 [(["equality (x/(x^2 - 6*x+9) - 1/(x^2 - 3*x) =1/x)",
@@ -233,8 +233,8 @@
 val p = get_pos 1 1;
 val (Form f, tac, asms) = pt_extract (pt, p);
 if term2str f = "[x = 6 / 5]" andalso p = ([], Res) then ()
-  else error "after ===new ptree 2 without changes ===";
-writeln(pr_ptree pr_short pt);
+  else error "after ===new ctree 2 without changes ===";
+writeln(pr_ctree pr_short pt);
  
 
 "-------------- getFormulaeFromTo --------------------------------";