void serialize(DataOutput out) throws IOException {
      DataInputOutputUtil.writeINT(out, exprStart);
      DataInputOutputUtil.writeINT(out, exprIndex);
      DataInputOutputUtil.writeINT(out, contextStart);
      DataInputOutputUtil.writeINT(out, contextEnd);
      occurrence.serialize(out);
    }
void serialize(DataOutput out)