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();
}
