log splitter subgroup of splitter, 4 assertions