{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"//"}]}
            // vars from instantiated goals.
            // encounter instantiated forms of goals, only nested goals that referred to bound
            && !matches!(inspect_goal.source(), GoalSource::InstantiateHigherRanked)