CSPACE-5728: Substitute a relation in the reverse (reciprocal) direction.