K:=(L=W) OR (REF(L,1)=W); C O AND C=H AND O=L AND C REF(H,1) AND REF(C,1) REF(O,1) AND REF(C,1) REF(X,1) AND REF(C,1) REF(L,2) AND K;