Improved running time of Dependency.clp