Updated the algorithm for constructing the UDDU webs. Added support for if statements in the reaching def, variable name collector and used variable collector.