added underflow read and rest of out-of-range read and write rules
declare the request and indication rules, respectively, to be mutually exclusive