Do not needlessly rebuild formula during 'cnf'.