Added test case for specifications written in VDM classic