INSTEAD export bugfixing (all variables are now considered global)