Module simplify

Source

Structsยง

DagCnfSimplify