31.5.2 carries_dependency