Track initial tensor shapes and dtypes through literals

[khatchad]

All tensors initially have the dimensions of the MNIST dataset regardless if they actually have those dimension.

[khatchad]

[Node: synthetic < PythonLoader, Ltensorflow/functions/ones, do()LRoot; > Context: CallStringContext: [ script tf2_test_add7.py.do()LRoot;@103 ], v2] --> [SITE_IN_NODE{<Code body of function Lscript tf2_test_add7.py>:Llist in CallStringContext: [ com.ibm.wala.FakeRootClass.fakeRootMethod()V@2 ]}]

[Node: synthetic < PythonLoader, Ltensorflow/functions/ones, do()LRoot; > Context: CallStringContext: [ script tf2_test_add7.py.do()LRoot;@108 ], v2] --> [SITE_IN_NODE{<Code body of function Lscript tf2_test_add7.py>:Llist in CallStringContext: [ com.ibm.wala.FakeRootClass.fakeRootMethod()V@2 ]}]

[khatchad]

callees of node Lscript tf2_test_add7.py : [import, add, ones, ones]

IR of node 2, context CallStringContext: [ com.ibm.wala.FakeRootClass.fakeRootMethod()V@2 ]
<Code body of function Lscript tf2_test_add7.py>
...
100   v251 = new <PythonLoader,Llist>@100    tf2_test_add7.py [14:16] -> [14:22]
101   fieldref v251.v252:#0 = v253:#1 = v253:#1 tf2_test_add7.py [14:16] -> [14:22]
102   fieldref v251.v254:#1 = v255:#2 = v255:#2 tf2_test_add7.py [14:16] -> [14:22]
103   v248 = invokeFunction < PythonLoader, LCodeBody, do()LRoot; > v249,v251 @103 exception:v256 tf2_test_add7.py [14:8] -> [14:23]
...
105   v259 = new <PythonLoader,Llist>@105    tf2_test_add7.py [14:33] -> [14:39]
106   fieldref v259.v252:#0 = v255:#2 = v255:#2 tf2_test_add7.py [14:33] -> [14:39]
107   fieldref v259.v254:#1 = v255:#2 = v255:#2 tf2_test_add7.py [14:33] -> [14:39]
108   v257 = invokeFunction < PythonLoader, LCodeBody, do()LRoot; > v258,v259 @108 exception:v260 tf2_test_add7.py [14:25] -> [14:40]