diff -r 90ea835c07b3 -r f92963a33fe3 test/Tools/isac/OLDTESTS/interface-xml.sml
--- a/test/Tools/isac/OLDTESTS/interface-xml.sml	Sun Oct 09 06:53:03 2022 +0200
+++ b/test/Tools/isac/OLDTESTS/interface-xml.sml	Sun Oct 09 07:44:22 2022 +0200
@@ -3,10 +3,10 @@
    *)
 
 (*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefFormula*)
-refformulaOK2xml 1 ([1],Frm) (Form (TermC.str2term "x+1=2"));
+refformulaOK2xml 1 ([1],Frm) (Form (TermC.parse_test @{context} "x+1=2"));
 (*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefCalcHead*)
 refformulaOK2xml 1 ([1],Pbl) (ModSpec Specification_Def.empty);
 
-getintervalOK 1 [(([2],Res), TermC.str2term "x = 4"), 
-		 (([3],Pbl), TermC.str2term "e_headline"), 
-		 (([3,1],Frm), TermC.str2term "-1+x=0")];
+getintervalOK 1 [(([2],Res), TermC.parse_test @{context} "x = 4"), 
+		 (([3],Pbl), TermC.parse_test @{context} "e_headline"), 
+		 (([3,1],Frm), TermC.parse_test @{context} "-1+x=0")];