Dependency Graph for CHISLformal 0.3