Merge pull request #2964 from BekaValentine/python-objectapi-to-valueapi-notimplemented

Python: ObjectAPI to ValueAPI: NotImplemented

python/ql/src/Exceptions/NotImplemented.qll

@@ -3,7 +3,7 @@ import python
 
 /** Holds if `notimpl` refers to `NotImplemented` or `NotImplemented()` in the `raise` statement */
 predicate use_of_not_implemented_in_raise(Raise raise, Expr notimpl) {
-    notimpl.refersTo(Object::notImplemented()) and
+    notimpl.pointsTo(Value::named("NotImplemented")) and
     (
         notimpl = raise.getException() or
         notimpl = raise.getException().(Call).getFunc()