Added sorting of decomposition sets in area of checking