投保时不需要提供被保险人名单的险种是：（）

A、建筑工程施工人员团体人身意外伤害保险

B、团体人身意外伤害保险

C、旅游人身意外伤害保险

D、学生幼儿人身意外伤害综合保险

对与OCL，说法正确的是（）

A、使用OCL在模型的方法上定义不变量

B、将OCL作为一种查询语言

C、使用OCL对构造型（Stereotypes）定义前置和后置条件

D、使用OCL描述类型的前置和后置条件