@Override public boolean equals(Object obj) { if (!(obj instanceof VariableExpr)) { return false; } VariableExpr expr = (VariableExpr) obj; return var.equals(expr.getVar()); }