diff -r a474900d5bd2 -r 255c853ea2f0 test/Tools/isac/Knowledge/partial_fractions.sml
--- a/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Dec 22 11:12:18 2016 +0100
+++ b/test/Tools/isac/Knowledge/partial_fractions.sml	Thu Dec 22 11:36:20 2016 +0100
@@ -36,7 +36,7 @@
 val (p,_,f,nxt,_,pt) = me nxt p [] pt; "nxt = Apply_Method";
 val (p,_,f,nxt,_,pt) = me nxt p [] pt; "nxt = Rewrite (ruleZY, Inverse_Z_Transform.ruleZY) --> X z = 3 / (z - 1 / 4 + -1 / 8 * (1 / z))";
 val (p''',_,f,nxt''',_,pt''') = me nxt p [] pt; "nxt = Rewrite_Set norm_Rational --> X' z = 3 / (z * (z - 1 / 4 + -1 / 8 * (1 / z)))";
-"~~~~~ fun me, args:"; val ((_,tac), (p:pos'), _, (pt:ptree)) = (nxt, p, [], pt);
+"~~~~~ fun me, args:"; val ((_,tac), (p:pos'), _, (pt:ctree)) = (nxt, p, [], pt);
 val ("ok", (_, _, ptp)) = locatetac tac (pt,p)
 val (pt, p) = ptp;
 "~~~~~ fun step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) = 
@@ -55,7 +55,7 @@
 "----------- why not nxt = Model_Problem here ? ---------";
 "----------- why not nxt = Model_Problem here ? ---------";
 val (p,_,f,nxt,_,pt) = me nxt''' p''' [] pt'''; 
-"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ptree)) = (nxt, p, c, pt);
+"~~~~~ fun me, args:"; val (((_,tac):tac'_), (p:pos'), _, (pt:ctree)) = (nxt, p, c, pt);
 val ("ok", (_, _, ptp)) = locatetac tac (pt,p);
 val (pt, p) = ptp;
 "~~~~~ fun step, args:"; val (((ip as (_,p_)):pos'), ((ptp as (pt,p), tacis):calcstate)) =