add support for WillNotOverflowSignedAdd(x,y) predicate