Emit type check error when argument to sided rnd is present but unused#832

strub merged 2 commits intomainEasyCrypt/easycrypt:mainfrom

fix-55EasyCrypt/easycrypt:fix-55Copy head branch name to clipboard