Dependency Graph for CHISLformal 0.5