[cvs-nhc98] Mark the variable in an (n+k) pattern as lambda-bound in t