Assertion list
gas range (primary) → HasProperty
Results from Ascent++: 1
gas range → HasProperty → expensive 0.16