Minor Changes

Author: rcosta358

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

@@ -21,11 +21,6 @@ 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/test/java/liquidjava/rj_language/opt/VCSimplificationPropertyBasedTest.java

@@ -21,7 +21,7 @@
 @RunWith(JUnitQuickcheck.class)
 public class VCSimplificationPropertyBasedTest {
 
-    private static final int TRIALS = 100; // number of random VCs to test
+    private static final int TRIALS = 50; // number of random VCs to test
     private static final int MAX_STEPS = 20; // to prevent infinite loops in case of non-termination
 
     @Property(trials = TRIALS)