Static Evaluation Of Type Inference And Propagation On Global Variables With Varying Context