Added class for comparing values returned from the evaluation of the generated Java code and values represented in the VDM interpreter as childs of the Value class.