{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"\"D\""}]}
            "D" => ProcessResult::Unchanged,
        |obligation| match *obligation {
            "E" => ProcessResult::Error("E is for error"),