Added testing system that executes generated Java code and compares the result of executing it against the result obtained from interpreting the VDM input used for generating the Java code