Assertion list
scope (aspect of variable ) → AtLocation
Results from Ascent++: 2
scope → AtLocation → tdl procedural block 0.30
scope → AtLocation → effect 0.25