{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"\"A\""}]}
            "A" => ProcessResult::Changed(thin_vec!["A.1", "A.2", "A.3"]),
        |obligation| match *obligation {
            "A.1" => ProcessResult::Changed(thin_vec![]),