Manually handle some cases where `t_mytrivial` is too weak#848

oskgo merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

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