First I must says that TAssembly looks like a fantastic piece of work.
I don't follow however the code very well and so I was wondering how it limits the variable use to the model ones and refuse for example window global object. After looking more on the code it looks like the key function is rewriteExpression which prepend all access with c. (except when it is not a global member) I am right ?