New assertion: assert_dependency_in_range