{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"for"}]}
            for nav in navs {
        if let Some(navs) = def.try_to_nav(db) {
                if !res.contains(&nav) {