Assertion list
pid (primary) → DefinedAs
Results from Ascent++: 1
pid → DefinedAs → a traditional process id 0.32