Inga väntande lopp

Simplify_ har inga lopp som väntar på verifiering.