An analysis of Karp's interpolation theorem and the notion of k-consistency property