光明公司与三原公司因商标侵权纠纷诉至人民法院，中级人民法院经公开审理后作出一审判决，三原公司不服，上诉至省高级人民法院，光明公司的律师对高级人民法院如何审理此案做如下猜测，哪些可能成为现实（）

A．甲发明了某农作物新品种的生产方法
B．乙经过10年临床诊疗发明了对艾滋病的特有治疗方法
C．丙在核聚变实验过程中制造了某种新物质
D．丁利用业余时间发明了某种可以使电表读数少于实际用电度数的"节电器"

A．王大与王钢的诉讼为变更之诉
B．王大与王钢的诉讼为消极给付之诉
C．王大与王钢的诉讼为消极确认之诉
D．王大与王钢的诉讼为形式之诉