Artifacts of The VDM parser The VDM parser