modify caseADistConcatUnaryExp, add caseAMapCompMapExp and its test case (Map-0019.vdmsl)