Added test handlers to enable easier reuse of code that compares the result of executing generated Java expressions against the result of executing the VDM equivalents