VariableDefinition: (isGlobal?="GLOBAL")? name=ID ':' type=VarType ';';

VariableRef: { VariableRef }
    reference=[VariableDefinition]
;

def scope_ VariableRef _reference(Model m, EReference ref){
	<...do local scoping stuff...>
	return Scopes::scopeFor(<???allGlobalVariables???>)
}

if(eObject instanceof VariableDefinition){
	Map<String, String> userData = Maps.newHashMap();
	Model model = EcoreUtil2.getContainerOfType(eObject, Model.class);
	userData.put("model", model.getName());
	if(((VariableBlock)(eObject)).isIsGlobal()){   //flag is here
		userData.put("isGlobal", "true");
	}
	return createEOD(eObject, acceptor, userData);
}

def scope_AssignRef_reference(Model m, EReference ref){
	val allModels = getAllModels(m);
	return new FilteringScope(delegateGetScope(m, ref), [ieod | 
		(ieod.getUserData("model") != null && allModels.contains(ieod.getUserData("model"))) ||
		(ieod.getUserData("isGlobal") != null && ieod.getUserData("isGlobal").equals("true"))
	]);
}