Track Simplification Origins by Full VC Implication

[rcosta358]

Description

This PR refactors VC simplification origin tracking. Instead of storing origins on individual VCImplication nodes, each simplification step now records the complete VC implication chain through a new VCSimplificationResult.

Example

VCSimplificationResult result = VCSimplification.simplifyToFixedPoint(implication);

VCImplication simplified = result.getImplication();
VCSimplificationResult origin = result.getOrigin();

Related Issue

None.

Type of change

• Bug fix
• New feature
• Documentation update
• Code refactoring

Checklist

• Added/updated tests
• mvn test passes locally
• Updated docs/README if behavior or API changed