Assertion list
log splitter (subgroup of splitter ) → IsA
Results from Ascent++: 1
log splitter → IsA → machine 0.45