@Override public OperationTree read(Kryo kryo, Input input, Class<OperationTree> type) { return util.toNode((Operation) kryo.readClassAndObject(input)); }
@Override public void write(Kryo kryo, Output output, OperationTree node) { kryo.writeClassAndObject(output, util.getOperation(node)); }