Fixed changing method name

Author: cheestree

liquidjava-example/src/main/java/testSuite/classes/overload_constructors_error/Test.java

@@ -10,7 +10,7 @@ void test3(){
     void test4(){
         Throwable originT = new Throwable();
         Throwable t = new Throwable(originT); 
-        t.initCause(null);// should be an error but its not
+        t.initCause(null); // State Refinement Error
         t.getCause();
     }
 

liquidjava-verifier/src/test/java/liquidjava/api/tests/TestExamples.java

@@ -65,7 +65,7 @@ else if (shouldFail(pathName)) {
                 if (!expected.isEmpty()) {
                     for (LJError e : diagnostics.getErrors()) {
                         String foundError = e.getTitle();
-                        int errorPosition = e.getPosition().lineStart();
+                        int errorPosition = e.getPosition().getLine();
                         boolean match = expected.stream().anyMatch(
                                 pair -> pair.errorMessage().equals(foundError) && pair.lineNumber() == errorPosition);