In order to simplify and streamline the algorithm used for dependency analysis, some changes should be made:

• the Variable type should be changed to include the original indirection level, and the DependencyGraph updated accordingly
• The internal structures of the dependency graph should be changed, to differenciate more clearly between values and pointers