bself: improve generating memory constraints

Fix generate the expression whether the pointers may be equal
and check whether it simplifies to false (which is mostly the case).
If so, do not try to proceed further where we can fail on
unsupported comparison of symbolic pointers and addresses.