diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/Frontend/use-cases.sml
--- a/test/Tools/isac/Frontend/use-cases.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/Frontend/use-cases.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -316,7 +316,7 @@
  autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1);
 
  val ((pt,_),_) = get_calc 1;
- val str = pr_ptree pr_short pt;
+ val str = pr_ctree pr_short pt;
  writeln str;
  val ip = get_pos 1 1;
  val (Form f, tac, asms) = pt_extract (pt, ip);
@@ -557,7 +557,7 @@
  autoCalculate 1 CompleteToSubpbl;
  refFormula 1 (get_pos 1 1); (*<ISA> -1 + x = 0 </ISA>*);
  val ((pt,_),_) = get_calc 1;
- val str = pr_ptree pr_short pt;
+ val str = pr_ctree pr_short pt;
  writeln str;
  if str = ".    ----- pblobj -----\n1.   x + 1 = 2\n2.   x + 1 + -1 * 2 = 0\n"
  then () else 
@@ -566,7 +566,7 @@
  autoCalculate 1 (Step 1); (*proceeds only, of NOT 1 step before subplb*)
  autoCalculate 1 CompleteToSubpbl;
  val ((pt,_),_) = get_calc 1;
- val str = pr_ptree pr_short pt;
+ val str = pr_ctree pr_short pt;
  writeln str;
  autoCalculate 1 CompleteCalc; (*das geht ohnehin !*);
  val ((pt,_),_) = get_calc 1;