单项选择题
A.刘法官的解释属于我国正式法律解释体制中的司法解释 B.刘法官在该案的论证中运用了有关法的非正式渊源的知识 C.从法律推理角度看,“经鉴定,谢某系‘醉酒后猝死’”是推理的大前提 D.从德国、奥地利、芬兰等国家存在判例的情形看,这些国家的法律属于判例法系