Add JavaDocs

Author: rcosta358

liquidjava-verifier/src/main/java/liquidjava/rj_language/SimplifiedPredicate.java

@@ -6,6 +6,13 @@
 
 import spoon.reflect.reference.CtTypeReference;
 
+/**
+ * Represents a predicate simplified from another predicate. Stores the original predicate and any variables that must
+ * be reintroduced as binders when relating the simplified predicate back to its origin.
+ * <p>
+ * For example, simplifying {@code x == 1 && y > x} with binders {@code x: int, y: int} may produce
+ * {@code y > 1}. The origin {@code x == 1 && y > x} and binder {@code x: int} are kept so we can relate the simplified predicate back to the original.
+ */
 public class SimplifiedPredicate extends Predicate {
 
     private final Predicate origin;
@@ -56,6 +63,9 @@ public boolean equals(Object obj) {
                 && binders.equals(other.binders);
     }
 
+    /**
+     * Represents a variable that must be bound when relating the simplified predicate to its origin
+     */
     public static class Binder {
         private final String name;
         private final String type;