{"ast_node_type":"other","tokens":[{"end":50,"kind":"keyword","start":0,"text":"\"D\""}]}
            "D" | "E" => ProcessResult::Unchanged,
        |obligation| match *obligation {
            "B" => ProcessResult::Changed(thin_vec!["D"]),