Updates on LineNumber, LineNumberTest and Proof