Initially, this is only the program's main method. variable MethodPairs contains pairs <M,T> where M is a method and T is a type that will be propagated to that method in the next iteration variable FieldPairs contains pairs <F,T> where F is a field and T is a type that will be propagated to that field in the next iteration variable Nodes contains the set of nodes in the computed call graph.