{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // check whether the candidate is global while considering normalization.
        // We need to write into `source` inside of `match_assumption`, but need to access it