{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"delegate,"}]}
                    delegate,
                let goal = canonical::make_canonical_state(
                    &state.var_values,