check valve subgroup of valve, 27 assertions