[PermutedOrdering] Add return statement to fix undefined behavior