have the Instance token just be an alias for ReturnValue

Author: erik-krogh

python/ql/lib/semmle/python/frameworks/data/internal/ApiGraphModelsSpecific.qll

@@ -53,7 +53,7 @@ API::Node getExtraSuccessorFromNode(API::Node node, AccessPathToken token) {
   result = node.getMember(token.getAnArgument())
   or
   token.getName() = "Instance" and
-  result = node.getASubclass*().getReturn() // In Python `Instance` is just an alias for `Subclass.ReturnValue`
+  result = node.getReturn() // In Python `Instance` is just an alias for `ReturnValue`
   or
   token.getName() = "Awaited" and
   result = node.getAwaited()

python/ql/test/library-tests/frameworks/data/test.expected

@@ -68,7 +68,6 @@ isSource
 | test.py:39:11:39:20 | ControlFlowNode for Await | test-source |
 | test.py:41:8:41:27 | ControlFlowNode for Attribute() | test-source |
 | test.py:46:7:46:16 | ControlFlowNode for SubClass() | test-source |
-| test.py:51:8:51:18 | ControlFlowNode for Sub2Class() | test-source |
 | test.py:53:7:53:16 | ControlFlowNode for Attribute() | test-source |
 | test.py:60:13:60:16 | ControlFlowNode for self | test-source |
 | test.py:60:24:60:28 | ControlFlowNode for named | test-source |

python/ql/test/library-tests/frameworks/data/test.py

@@ -48,7 +48,7 @@ class SubClass (CommonTokens.Super):
 class Sub2Class (CommonTokens.Class):
     pass
 
-sub2 = Sub2Class()
+sub2 = Sub2Class() # TODO: Currently not recognized as an instance of CommonTokens.Class
 
 val = inst.foo()