bugs fixed at MatchBlock
bugs fixed at MatchVarDecl