Implements more specific predicates for registers.