Predicate isOverlay

A local predicate that always holds for the overlay variant and never holds for the base variant. This is used to define local predicates that behave differently for the base and overlay variant.