implement TheorySets::getEqualityStatus()