}
public void visitPUTFIELD(PUTFIELD pi) {
TreeSet objRefDependences = after.getStack(1);
if (!(objRefDependences.size() == 1
&& objRefDependences.first().toString().equals("L0")))
throw new IllegalArgumentException(
"sets field in some other class (PUTFIELD)");
after.addToField(after.pop(), pi.getIndex());
after.addToField(after.getControl(), pi.getIndex());
after.pop();