Raffi Khatchadourian

Though, I am unsure what AST has to do with it since it is SSA at this point ...

[There is already a language field in `TypeInference`](https://wala.github.io/javadoc/com/ibm/wala/analysis/typeInference/TypeInference.html#language). Perhaps then if any subclassing is to be done it would be `TypeInference` that would be the parent.

Looks like the new class would inherit from com.ibm.wala.cast.analysis.typeInference.AstTypeInference.

If I put the fix back, we get: ``` BB1 ... 101 v244 = new @101 [244=[mama]] ... 104 v4 = new @104 [4=[raffi]] 105 v249 = invokeFunction < PythonLoader,...

Something looks to be wrong with instruction 105. When there's an embedded function, I am seeing the variable point to it. Otherwise, it's blank.

The crux of the problem is that this is the decorator: ``` callees of node mama : [] IR of node 4, context CallStringContext: [ script tf2_test_decorated_method3.py.do()LRoot;@105 ] CFG: BB0[-1..-2]...

This works in Jython 2, probably because decorators are not supported and consequently ignored there.

Looks like the constant propagation isn't working for Jython3: ## Test output when using Jython 3 ``` no exceptions for CALL OBJECT_REF VAR "image" "set_shape" EMPTY OBJECT_LITERAL NEW "list" "0"...

Attaching complete files. [jython.txt](https://github.com/wala/ML/files/11548479/jython.txt) [jython3.txt](https://github.com/wala/ML/files/11548480/jython3.txt)

Looks like Jython3 isn't loading the interpreter. I'm seeing these stack traces: ``` java.io.FileNotFoundException: src/resources/frozen_importlib/_frozen_importlib.class (No such file or directory) at java.base/java.io.FileInputStream.open0(Native Method) at java.base/java.io.FileInputStream.open(FileInputStream.java:216) at java.base/java.io.FileInputStream.(FileInputStream.java:157) at org.python.core.PySystemState.doInitialize(PySystemState.java:1152) at...