improved dependency checking in solvers