dependence checking.