These are just like the binary operator relational tests, except that
(coverage relational) is turned on instead of (coverage operator).
