Assertion list
new fuse (subgroup of fuse ) → HasProperty

Results from Ascent++: 1
new fuseHasProperty inexpensive 0.39