Assertion list
amp fuse (subgroup of fuse ) → HasProperty
Results from Ascent++: 1
amp fuse → HasProperty → good 0.16