potential return subgroup of return, 2 assertions