As yet, there is no test satisfying cause-effect test1 with the child
on the right-hand side.

We need a catchall test that determines whether each of the relational
operators forces weak sufficiency.  This combines with the tests in
../../operand to test whether weak sufficiency in general is handled.
