decision coverage subgroup of coverage, 2 assertions