Assertion list
cache memory (subgroup of memory ) → HasProperty

Results from Ascent++: 1
cache memoryHasProperty faster 0.32