Updated "alarm" test case to produce the same value as the version of this model bundled with Overture
Added comparison of a VDM ObjectValue and an Object value as produced when executing the generated code