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