{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":"num_opaques:"}]}
                        num_opaques: canonical_goal
                    Some(GoalStalledOn {
                            .canonical