refactored VariableInfo -> GlobalContext