Fixed incorrect working with wrong proofs (after incorrect line program was reading lines as a new proof)