Artifacts of VDM Pretty Printing VDM Pretty Printing