*Return value added for method step(int eventName)
*Return value added for method Verdict trace(int[] eventNames,
Object[][] args)