Artifacts of The VDM to Isabelle Translator #167