Internal: correctly preserve match statements when constructing a zipper#899

strub merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix-zipper-matchEasyCrypt/easycrypt:fix-zipper-matchCopy head branch name to clipboard