Sorting of B definitions.