// of callee: callee has 'read' requirement!
for (Iterator iterator = calleeUnionBoundReadSet.iterator(); iterator.hasNext();) {
NTuple<Descriptor> read = (NTuple<Descriptor>) iterator.next();
// of callee: callee has 'read' requirement!
for (Iterator iterator = calleeUnionBoundReadSet.iterator(); iterator.hasNext();) {
NTuple<Descriptor> read = (NTuple<Descriptor>) iterator.next();
Hashtable<FlatNode, Boolean> gen = curr.get(read);
if (gen == null) {
gen = new Hashtable<FlatNode, Boolean>();
Hashtable<FlatNode, Boolean> gen = curr.get(read);
if (gen == null) {
gen = new Hashtable<FlatNode, Boolean>();