选项
A.
A.各变量的剩余合法赋值
B.
B.变量间的约束信息
C.
C.变量的赋值
D.
D.未赋值变量
正确答案：