3.42 Aspect Refined_Depends

This aspect is equivalent to pragma Refined_Depends.