WITH NEIGHBOR returns apparent false error on two layer check

Version 1

    Cause

    Given this situation:

     

    layB = layA INSIDE layC

    check1 {WITH NEIGHBOR layB layA >= 1 SPACE < nnn.nn }

     

    Appears to returns errors on all layB polygons, even when the SPACE constraint is not met.

    The reason is that the layA polygon (that layB is derived from) is still coincident with the layB polygon, therefore, the constraint IS being met, for almost ANY constraint value

     

    Solution

    Distinguish layA polygons that are coincident with layB so they are not being checked.

     

    check1 {WITH NEIGHBOR layB (layA NOT layB) >= 1 SPACE < nn.nn }