Turns a graph of modules into a consistent list of modules.
Turns a graph of modules into a consistent list of modules. A graph of modules is inconsistent if we can find 2 incompatible versions of the same module.
if the graph of modules isn't consistent.