Artifacts of The VDM parser #252