令非终结符B表示布尔表达式，为B设置两个继承属性true和false。
B:true是一个地址，该地址中存放了当B为真时控制流转向的指令的标号；
B:false也是一个地址，该地址中存放了当B为假时控制流转向的指令的标号，则下列SDT中不正确的是( )。
选项：

A:B true { gen('goto'B,true); }
B:B false {'goto'B,false); }
C: B (B1 {B1.true=
B:true; B1.false=B,false;} B1)
D: B not {B1.true=
B:true; B1.false=B,false;} B1