Added definite assignment analysis so we can handle array set statements. All the variables in TIR statement nodes are handled in all analysis.