ddc-core-flow: remove outdated constraint generation; new stuff is in SizeInference module
ddc-core-flow: add trace instructions to size inference etc
ddc-core-flow: pretty printing of CNF and size schemes. add traces for now