Updated Reaching Defs, VariableNameCollector, UD/DU chains to consider function declaration