{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"if"}]}
        if self.done_cache.contains(&cache_key) {
        let cache_key = obligation.as_cache_key();
            debug!("register_obligation_at: ignoring already done obligation: {:?}", obligation);