{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"//"}]}
            // encounter instantiated forms of goals, only nested goals that referred to bound
            // This also just better matches the behaviour of the old solver where we do not
            // vars from instantiated goals.