Fix potential bug

It is possible that without this change we could have a file with an
early lemma with tag ZZZZ and we would never reset "in_proof" to zero.