Update LineNumberTest.java

Added tests for IllegalLine (reference to a statement within a previous subproof).