Indirectly optimizable predicates

Some predicates are transformed internally into ones that provide starting and stopping points and are therefore optimizable.

Predicates that use the following comparison operators can be transformed internally into optimizable predicates:

For details on these and other transformations, see Internal language transformations.