Assertion list
cdc (primary) → AtLocation
Results from Ascent++: 1
cdc → AtLocation → cahoot 0.16