A working basic data flow analysis
Replacing StackTracking with DataFlowAnalysis
Adding constant folding to the DataFlowAnalysis
Successful constant folding through variables