Revert the use of `vK` predicate variables, will be further investigated and explained.
Refactored sort checking functions. Renaming variables to nice names.