Update LineNumberTest.java

Added tests for IllegalLine (reference to a statement within a previous subproof).
Merge pull request #6 from chashemi/patch-4

CH: Update LineNumberTest.java