3.8 Aspect Depends

This aspect is equivalent to pragma Depends.