The following rule turns the 1 dbu overlap issue into a singularity.
By doing this EXTERNAL SINGULAR may be used to flag the problem location.
Please note that this does not create an area, but simply flags one end of the overlap region.
A = P AND D // what can AND find
P_down = SIZE P by -0.005 // shrink one side by one db to make the overlap a single point.
S = P_down EXT D <0.001 SINGULAR REGION //
A_up = A SIZE BY 0.010 // size up the areas that AND can find by 2 dbu so as to not report them here.
S NOT A_up