[cvs-nhc98] patch applied (hat): In hat-observe, check whether the *result* of a CAF contains the