Remove Redundant If

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCFunctionSubstitution.java

@@ -70,8 +70,7 @@ private VCImplication substitute(VCImplication implication, VCImplication node,
      */
     private VCImplication removeSourceEquality(VCImplication implication, Expression sourceEquality) {
         List<Expression> remaining = new ArrayList<>(implication.getRefinement().getExpression().getConjuncts());
-        if (!remaining.remove(sourceEquality))
-            return copyWithRefinement(implication, implication.getRefinement().clone());
+        remaining.remove(sourceEquality);
         if (remaining.isEmpty())
             return null;