@Override
  public void write(GraphDataOutput out) throws IOException {
    super.write(out);
    RW.writeCollection(out, myUsedArgNames, s -> out.writeUTF(s));
    RW.writeCollection(out, myTargets, t -> out.writeInt(t.ordinal()));
  }
@Override
  public void write(GraphDataOutput out)