{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"|obligation|"}]}
        |obligation| match *obligation {
    let TestOutcome { completed: ok, errors: err, .. } = forest.process_obligations(&mut C(
            "A.2.i" => ProcessResult::Unchanged,