Class OperatorOverlapsLocal