The pumping lemma for context