The AnyOverlap test signals a violation if any source figure has
no intersection area with the figures associated with the expression. This is illustrated in Figure 15.4, for
no Region and an expression consisting of a single layer.
The AnyOverlap test. The present
figure (solid) must be partially or fully covered by figures resulting
from evaluating the expression argument (dotted).