Sorted_Terms.Compute_Nonempty_Infinite_Sorts