Assertion list
uniform (primary) → DefinedAs
Results from Ascent++: 1
uniform → DefinedAs → the cpu 0.28