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 {