{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"before_span,"}]}
                    before_span,
                remap_cause.insert((
                    error.obligation.predicate,