Instrumentation (aspects) of jUnitRV (MMT) modified:
*System.exit(0) added in case of strong failure during execution
*Pointcut added after execution of main to compute final verdict and
print result