If i understand, this is a one time performance improvement, which reduces the overhead of symbolic execution by emitting final assembly instructions into the f

If i understand, this is a one time performance improvement, which reduces the overhead of symbolic execution by emitting final assembly instructions into the final binary. Great But i dont see any algorithmic improvement on the exponential explosion of states? Is this "outsourced" to a fuzzer that has to generate coverage test cases ?