private void PrintStateVarResolutionMap()
{
foreach (string name in context.StateVarNameResolutionMap.Keys)
{
Console.WriteLine("-- " + name);
foreach (ContractDefinition dynamicType in context.StateVarNameResolutionMap[name].Keys)
{
VariableDeclaration varDecl = context.GetStateVarByDynamicType(name, dynamicType);
ContractDefinition contract = context.GetContractByStateVarDecl(varDecl);
Console.WriteLine(dynamicType.Name + " --> " + contract.Name + "." + varDecl.Name);
}
Console.WriteLine();
}
}