3.40 Aspect Refined_Global

This aspect is equivalent to pragma Refined_Global.