Assertion list
periscope (primary) → HasProperty
Results from Ascent++: 2
periscope → HasProperty → new 0.48
periscope → HasProperty → free 0.16