Added test handler for specifications that are written in VDM classic
Made the comparison class capable of handling quotes