diff -r b2ff1902420f -r 06ec8abfd3bc test/Tools/isac/Knowledge/eqsystem-1.sml
--- a/test/Tools/isac/Knowledge/eqsystem-1.sml	Wed Jan 11 09:23:18 2023 +0100
+++ b/test/Tools/isac/Knowledge/eqsystem-1.sml	Wed Jan 11 11:38:01 2023 +0100
@@ -81,7 +81,7 @@
 "----------- problems --------------------------------------------";
 "----------- problems --------------------------------------------";
 val t = TermC.parse_test @{context} "Length [x+y=1,y=2] = 2";
-TermC.atomty t;
+TermC.atom_trace_detail @{context} t;
 val testrls = Rule_Set.append_rules "testrls" Rule_Set.empty 
 			 [(Thm ("LENGTH_NIL", @{thm LENGTH_NIL})),
 			  (Thm ("LENGTH_CONS", @{thm LENGTH_CONS})),
@@ -93,13 +93,13 @@
 else error "eqsystem.sml: length_ [x+y=1,y=2] = 2";
 
 val SOME t = TermC.parseNEW ctxt "solution LL";
-TermC.atomty t;
+TermC.atom_trace_detail @{context} t;
 val SOME t = TermC.parseNEW ctxt "solution LL";
-TermC.atomty t;
+TermC.atom_trace_detail @{context} t;
 
 val t = TermC.parse_test @{context} 
 "(tl (tl (tl v_s))) from v_s occur_exactly_in (NTH 1 (e_s::bool list))";
-TermC.atomty t;
+TermC.atom_trace_detail @{context} t;
 val t = TermC.parse_test @{context} ("(tl (tl (tl [c, c_2, c_3, c_4]))) from [c, c_2, c_3, c_4] occur_exactly_in " ^
   "(NTH 1 [c_4 = 1, 2 = 2, 3 = 3, 4 = 4])");
 (*----- broken in child of.1790e1073acc : eliminate "handle _ => ..." from Rewrite.rewrite -----\\
@@ -502,7 +502,7 @@
 val es_ = Free ("es_", "bool List.list") : Term.term
 
 > val pre1 = hd pres;
-TermC.atomty pre1;
+TermC.atom_trace_detail @{context} pre1;
 ***
 *** Const (op =, [real, real] => bool)
 *** . Const (ListG.length_, real list => real)