RISC-V: Implement existential predicates for CSRs