diff --git a/com.ibm.wala.core/src/com/ibm/wala/logic/AdHocSemiDecisionProcedure.java b/com.ibm.wala.core/src/com/ibm/wala/logic/AdHocSemiDecisionProcedure.java
index a256563ea..743a6690a 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/logic/AdHocSemiDecisionProcedure.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/logic/AdHocSemiDecisionProcedure.java
@@ -136,10 +136,8 @@ public class AdHocSemiDecisionProcedure extends AbstractSemiDecisionProcedure {
       } else if (r.getRelation().equals(BinaryRelation.NE)) {
         ITerm lhs = r.getTerms().get(0);
         ITerm rhs = r.getTerms().get(1);
-        if (lhs.getKind().equals(ITerm.Kind.CONSTANT) && rhs.getKind().equals(ITerm.Kind.CONSTANT)) {
-          if (lhs.equals(rhs)) {
-            return true;
-          }
+        if (lhs.equals(rhs)) {
+          return true;
         }
       } else if (r.getRelation().equals(BinaryRelation.LT)) {
         ITerm lhs = r.getTerms().get(0);