Made it possible to access the IR AST info through the JavaCodeGen class
Prepared test handlers for the introduction of a new test handler that handles specifications written in VDM classic