Removed logging/printing in case the IR AST visitor meets an undefined VDM expression
Moved the code that constructs the merged parse list of a VDM model to a method for easier reuse. Also, initialized the parser to be quiet so that it does not print information during parsing