Assertion list for term "execute all of their code".

Results from Ascent++: 1
monolithic kernel (subgroup of kernel) CapableOfexecute all of their code 0.68