Assertion list
license (aspect of driver ) → AtLocation
Results from Ascent++: 2
license → AtLocation → language 0.30
license → AtLocation → stake 0.18