(Real) Dependencies Checking