{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
        // subsequent weird logic to identify *every* relevant obligation for proper deduplication
        // We re-sort here so that the outer most root obligations comes first, as we have the
        // of diagnostics.