Relational: add tests for `Eq(p, 0)` where p is positive and similar

Currently XFAIL'd.