int datasize() const { return spec.datasize(); }
ZddLookahead(S const& s) : spec(s), work(spec.datasize()) { }