{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"bug!(\"Wrong"}]}
                            bug!("Wrong arguments for assume intrinsic");
                        let Ok([arg]) = take_array(args) else {
                        };