Simplify cnf_distribute() a little more.