stage compressor subgroup of compressor, 2 assertions