x(1),=(class => Assertion, message => NumberOfTimesUnificateError, at => test~!("A",$a), in =>  in exptest2($a))
x(1),=(class => Assertion, message => NumberOfTimesUnificateError, at => test~?("A",$a), in =>  in exptest3($a))
Assertion:NumberOfTimesUnificateError At test~+("B",$a) in exptest4($a)
