Fix: The OO AST should not be transformed and merged if there are VDM nodes which are not supported