fix(phl): check the bound of the upper-bound while rule on all memories (on #1105) - #1130

fix(phl): check the bound of the upper-bound while rule on all memories (on #1105)#1130

Yiping106283 wants to merge 3 commits into

EasyCrypt:negative-phoare-falseEasyCrypt/easycrypt:negative-phoare-falsefrom

Yiping106283:fix-phoare-while-le-boundYiping106283/easycrypt:fix-phoare-while-le-boundCopy head branch name to clipboard