Dependency Graph for logicbank 1.4.2