final int nargs = Type.getArgumentTypes(m.desc).length;
final ValueRef[] args = pop(stack, opcode == Opcodes.INVOKESTATIC ? nargs : nargs + 1);
final Method method = new Method(m.owner, m.name, m.desc);
final Invoke invoke = new Invoke(method, args);
if (Type.getReturnType(m.desc) == Type.VOID_TYPE) {
frame = new DefUseFrame(null, invoke);
} else {