abstract srecord noeq AbstractCompressor<A>(CompressionSearch<A> search) extends Probabilistic {
  // get current best compressed representation
  abstract A currentBestDecompressor aka get();
}