Simplify cnf_distribute().