branch aspect of union, 7 assertions