Minor Change

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/refinement_checker/VCChecker.java

@@ -55,8 +55,7 @@ public void processSubtyping(Predicate expectedType, List<GhostState> list, CtEl
         } catch (LJError e) {
             // add location info to error
             if (e.getPosition() == null) {
-                SourcePosition pos = e instanceof NotFoundError ? Utils.getFirstLJAnnotationValuePosition(element)
-                        : Utils.getFirstLJAnnotationPosition(element);
+                SourcePosition pos = Utils.getFirstLJAnnotationValuePosition(element);
                 e.setPosition(pos);
             }
             throw e;