int () { if (myCachedHash != null) return myCachedHash; int hash = ((getNonTrivialEqClasses().hashCode() * 31 + getDistinctClassPairs().hashCode()) * 31 + myStack.hashCode()) * 31 + myVariableTypes.hashCode(); return myCachedHash = hash; }