general purpose register subgroup of register, 2 assertions