Simplifies reachability index code
Adds transactional interceptor test
Changes asserted to convenience and REL to OPERAND