ddc-core-flow: convert ddc expression to CNF form
ddc-core-flow: convert ddc expression to CNF form