Constructing UD chains using the reaching definitions analysis. Might need to add an intraprocedural analysis to capture the used variables in every statement node.