Minor Change

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/processor/SimplifiedVCImplication.java

@@ -16,15 +16,11 @@ public SimplifiedVCImplication(VCImplication implication, Predicate refinement,
         this.origin = origin.clone();
     }
 
+    @Override
     public VCImplication getOrigin() {
         return origin;
     }
 
-    @Override
-    public Predicate getOriginRefinement() {
-        return origin.getRefinement().clone();
-    }
-
     @Override
     public VCImplication copyWithRefinement(Predicate refinement) {
         return new SimplifiedVCImplication(this, refinement, origin);

liquidjava-verifier/src/main/java/liquidjava/processor/VCImplication.java

@@ -31,8 +31,12 @@ public VCImplication(VCImplication implication, Predicate ref) {
         this.refinement = ref;
     }
 
+    public VCImplication getOrigin() {
+        return new VCImplication(this, refinement.clone());
+    }
+
     public Predicate getOriginRefinement() {
-        return refinement.clone();
+        return getOrigin().getRefinement().clone();
     }
 
     public VCImplication copyWithRefinement(Predicate refinement) {