[cvs-nhc98] patch applied (hat): Corrected tracing of irrefutable patterns.