I want to set the outer scope in which I can see references to some nodes. If I understand the scopes tutorial correctly, overriding the getScope() method changes the scope of the node it's defined in. But what I want to do is that every children I declare for the node should only be visible inside the node (and other children of the node), and not outside of it. Example: in the image below x and y are visible everywhere, but I want to set it so that they are only visible in their parent (so in this case, only in the line above the cursor).
To clarify, my structure is as below. I want x and y to only be visible in the "all quantified statement" concept which contains these variables, and nowhere else.