Implemented knownEqual() for alpha-equivalence checking.