{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"///"}]}
    ///  1) The number of basic blocks remains unchanged
    ///
    ///  2) The set of successors of each terminator remains unchanged.