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

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