updates on line number, proof class

updated line number constructor, added creation of next line number to
the end of extend proof