--- japron/apron/Texpr1VarNode.java.orig	2023-09-20 13:55:04.000000000 -0600
+++ japron/apron/Texpr1VarNode.java	2023-09-30 18:11:16.729501220 -0600
@@ -86,7 +86,7 @@ public class Texpr1VarNode
 
     public boolean hasVar(Var v)
     {
-        return var==v;
+        return var.compareTo(v) == 0;
     }
 
     protected void fillVars(HashSet<Var> set)