Remove Expression-Based Simplification Classes

Author: rcosta358

CONTRIBUTING.md

@@ -37,9 +37,8 @@ To run specific tests, run:
 
 ```bash
 mvn -pl liquidjava-verifier -Dtest=ExpressionFormatterTest test
-mvn -pl liquidjava-verifier -Dtest=ExpressionSimplifierTest test
 mvn -pl liquidjava-verifier -Dtest=RefinementsParserTest test
-mvn -pl liquidjava-verifier -Dtest=VariableResolverTest test
+mvn -pl liquidjava-verifier -Dtest=VCSimplificationTest test
 ```
 
 ## Release

liquidjava-verifier/src/main/java/liquidjava/diagnostics/DebugLog.java

@@ -56,7 +56,7 @@ public static void smtVerifying(SourcePosition position) {
 
     /**
      * Flat-predicate fallback: prints top-level conjuncts in order with no per-variable grouping. Used by SMT entry
-     * points that don't carry the structured per-variable {@link VCImplication} chain (e.g. ExpressionSimplifier).
+     * points that don't carry the structured per-variable {@link VCImplication} chain.
      */
     public static void smtStart(Predicate premises, Predicate conclusion) {
         if (!enabled()) {