Assertion list
wiretap (primary) → HasProperty
Results from Ascent++: 2
wiretap → HasProperty → illegal 0.68
wiretap → HasProperty → necessary 0.68