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