program execution subgroup of execution, 2 assertions