Assertion list
linux kernel (subgroup of kernel ) → HasA
Results from Ascent++: 1
linux kernel → HasA → different scheduler classes 0.25