Assertion list
commuter (primary) → HasProperty
Results from Ascent++: 2
commuter → HasProperty → safe 0.33
commuter → HasProperty → reliable 0.16