import semmle.python.internal.OverlayDiscardConsistencyQuery