Minor Change

Author: rcosta358

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

@@ -9,8 +9,7 @@ public interface VCSimplificationPass {
     VCImplication apply(VCImplication implication);
 
     default String getName() {
-        String className = getClass().getSimpleName();
-        String name = className.startsWith("VC") ? className.substring(2) : className;
-        return name.replaceAll("(?<=[a-z0-9])(?=[A-Z])", " ");
+        return getClass().getSimpleName().replaceFirst("^VC", "").replaceFirst("Simplification$", "")
+                .replaceAll("(?<=[a-z0-9])(?=[A-Z])", " ");
     }
 }