true if the output must be verbose for debugging
sort the specifications in topological order where specification i doesn't depend on specification j if i > j == dependents first