implemented CheckLineScope
Update Proof.java
Merge pull request #34 from irongavel/patch-18

implemented CheckLineScope