Writing of underlying CNF is now learned-clause aware.