private void ComputeVisibleStateVariables() { foreach (string varName in context.StateVarNameResolutionMap.Keys) { foreach (ContractDefinition contract in context.StateVarNameResolutionMap[varName].Keys) { VariableDeclaration varDecl = context.StateVarNameResolutionMap[varName][contract]; context.AddVisibleStateVarToContract(varDecl, contract); } } // PrintVisibleStateVars(); }