constant expression subgroup of expression, 3 assertions