Next: Aspect Global, Previous: Aspect Effective_Writes, Up: Implementation Defined Aspects
This boolean aspect is equivalent to pragma Favor_Top_Level.