fn emit_runtime_terminator<W: Write>( w: &mut W, indent: &str, term: BlockTerm, succs: &[usize], ) -> Result<()>