{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"&&"}]}
            && !matches!(inspect_goal.source(), GoalSource::InstantiateHigherRanked)
            // vars from instantiated goals.
        {