{"ast_node_type":"import","tokens":[{"end":58,"kind":"keyword","start":0,"text":"for"}]}
            for (span, predicate, cause) in &remap_cause {
        for error in not_adjusted {
                if *predicate == error.obligation.predicate