-scope knows its invocation (if any)
-for and while are treated as invocation instead only declaration
-datarelation is read-olny