Propagation complete encodings of smooth DNNF theories