Artifacts of The VDM to JML Generator #290