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