Improve the conversion. Fix the simulation.
(However, the simulation result of bitonic-sort remains incorrect.)