CNF now has discard for all step implemented