@Override
  public ParamsValue naryOperation(AbstractInsnNode insn, List<? extends ParamsValue> values) {
    switch (insn.getOpcode()) {
      case INVOKESTATIC, INVOKESPECIAL, INVOKEVIRTUAL, INVOKEINTERFACE -> {
        for (ParamsValue value : values) {
          boolean[] params = value.params;
          for (int i = 0; i < arity; i++) {
            leaking[i] |= params[i];
          }
        }
      }
      default -> {
      }
    }
    return super.naryOperation(insn, values);
  }
@Override
  public ParamsValue naryOperation(AbstractInsnNode insn, List<? extends ParamsValue> values)