docs: public void add(DBIDRef id, double reach, DBIDRef pre) {
      ids.add(id);
      reachability.putDouble(id, reach);
      if(pre == null || pre instanceof DBIDVar && !((DBIDVar) pre).isSet()) {
        return;
      }
      predecessor.putDBID(id, pre);
    }