{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"GoalSource::InstantiateHigherRanked"}]}
            GoalSource::InstantiateHigherRanked => PathKind::Inductive,
            // guarded and is therefore unproductive.
            // These goal sources are likely unproductive and can be changed to