{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
                // We can understand it as it transforms the following code
                // into (each) predecessors. This makes CFG very complex.
                // ```rust