Added CADRE depgraph and problem formulation