ck_rhs: Implement ck_rhs_apply, similarly to what has been done in ck_hs.
regressions: Test ck_rhs_apply.