Merge "Refactoring of graph linearization and linear order."