JetControlFlowTest rewritten to generator