(* use"systest/interface-xml.sml";

    use"interface-xml.sml";   

    *)

 (*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefFormula*)

 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.parse_test @{context} "x = 4"), 

 		 (([3],Pbl), TermC.parse_test @{context} "e_headline"), 

 		 (([3,1],Frm), TermC.parse_test @{context} "-1+x=0")];