In the server procedure sometimes the Read generates an extra predicate (which
has not been coded as part of the read statement). Hence the index is not used
even if one exists.
Best Practice:
Each Read is coded in open action block each. They are often called the
Read Action Blocks (RAB). COOL:Gen generates the extra predicate whenever it is
not sure whether the read is for an update or just a read only.
