{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"\"encountered"}]}
                                "encountered critical edge in `Call` terminator {:?}",
                            format!(
                                terminator.kind,