Nested functions should be exempt from sequential visibility rules

[Timon Gehr]

On 04/03/2012 01:08 PM, Don Clugston wrote:
>
> Y b() { ... }
> Y y = b();
> X x = ...
>
> Prove that y doesn't depend on x.

Since only function declarations are immune to ordering rules, b cannot 
forward reference x.