Klever

Because of some issues Klever can solve verification tasks corresponding to Linux kernel modules without ordering them alphabetically. You need to identify who intermixes verification objects or/and verification tasks and avoid this as mush as possible. I don't assume that this should be done globally and ideally. For instance, if there are several sub-jobs, it isn't necessary to order their verification tasks in such the way.