Assertion list
olm (primary) → HasProperty
Results from Ascent++: 2
olm → HasProperty → blind 0.43
olm → HasProperty → vulnerable 0.16