Introduce RhsConditional and implement RhsPredicate.