Incorrect result value

[khatchad]

ML/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ir/PythonCAstToIRTranslator.java

Lines 992 to 993 in b813bde

	.PropertyRead(
	idx, resultVal, resultVal, context.currentScope().getConstantValue(eltName)));

Why would the object ref and result be the same value (resultVal)?

https://github.com/wala/WALA/blob/1f29f627e1e4415279734bbe16331ee77aa62bb1/cast/src/main/java/com/ibm/wala/cast/ir/ssa/AstInstructionFactory.java#L60

It seems to later get fixed by something.