Function decode_assignment 

pub fn decode_assignment(index: u64, vars: &[String]) -> Assignment

把三进制赋值编号解码为各变量的取值。

不检查有效域：高位被忽略、重复变量名会覆盖前值。边界输入请用 try_decode_assignment。