knows how to optimize the evaluation of several kinds of specifications. In order to avoid confusion with program optimization we call this meta-optimization. However, note that all this may be topic of implementation restrictions, see section 7.1.
