#266 brought basic multithreading. But it only works when there is splitting. We should parallelize the working list as well.
