Fix loop detection in dependency graph.
Work on declaration list specialization.