Also add explicit non-empty assertion to the flow-code guard test so it cannot pass vacuously on a zero-row result.