Minor improvements to the codegen testing system
Added partial support for generation of calls to the VDM IO lib