fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105)

fix(phl): emit the non-negativity of the bound as a separate goal in rnd (on #1105) #5547