int[] result = new int[modified.size()];
int index = 0;
for(Integer i : modified) {
Bytecode.VariableAccess va = new Bytecode.VariableAccess(i);
Location<?> location = tree.getLocation(i);
<BUG>Nominal type = Nominal.construct(location.getType(),location.getType());
result[index++] = scope.add(type,va);</BUG>
}
return result;
}

int[] result = new int[modified.size()];
int index = 0;
for(Integer i : modified) {
Bytecode.VariableAccess va = new Bytecode.VariableAccess(i);
Location<?> location = tree.getLocation(i);
Nominal type = Nominal.construct(location.getType());
result[index++] = scope.add(type,va);
}
return result;
}
