Fixed issue where some channels were omitted.
Fixed infinite loop in negation-elimination.