[cvs-nhc98] patch applied (hat): Mark the variable in an (n+k) pattern as lambda-bound in the