Added annotation count on lemma.all; Fixed a bug on Lemma:All