VCParserTest : tests for VCParser.vdmsl