[cvs-nhc98] Corrected tracing of irrefutable patterns.