diff --git a/Source/VCGeneration/Split.cs b/Source/VCGeneration/Split.cs
index 6fc062bc6..3eac0cb51 100644
--- a/Source/VCGeneration/Split.cs
+++ b/Source/VCGeneration/Split.cs
@@ -898,7 +898,7 @@ public VerificationRunResult ReadOutcome(int iteration, Checker checker, Verifie
           CoveredElements: CoveredElements,
           ResourceCount: resourceCount,
           SolverUsed: (Options as SMTLibSolverOptions)?.Solver,
-          PrunedDeclarations: PrunedDeclarations
+          DeclarationsAfterPruning: PrunedDeclarations
           );
         callback.OnVCResult(result);
 
diff --git a/Source/VCGeneration/VerificationRunResult.cs b/Source/VCGeneration/VerificationRunResult.cs
index 2ce3c752f..15e3a2cdb 100644
--- a/Source/VCGeneration/VerificationRunResult.cs
+++ b/Source/VCGeneration/VerificationRunResult.cs
@@ -19,7 +19,7 @@ public record VerificationRunResult
     IEnumerable<TrackedNodeComponent> CoveredElements,
     int ResourceCount,
     SolverKind? SolverUsed,
-    IReadOnlyList<Declaration> PrunedDeclarations
+    IReadOnlyList<Declaration> DeclarationsAfterPruning
   ) {
     public void ComputePerAssertOutcomes(out Dictionary<AssertCmd, SolverOutcome> perAssertOutcome,
       out Dictionary<AssertCmd, Counterexample> perAssertCounterExamples) {