Add Comment

rcosta358 · rcosta358 · commit 64df45847155 · 2026-06-09T14:50:56.000+01:00
diff --git a/liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCSimplifier.java b/liquidjava-verifier/src/main/java/liquidjava/rj_language/opt/VCSimplifier.java
@@ -2,6 +2,9 @@
 
 import liquidjava.processor.VCImplication;
 
+/**
+ * Simplifies VCImplication chains by applying various simplification steps
+ */
 public class VCSimplifier {
 
     /**
