Channel tests and knownSets implementation