Function decode_assignment 

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

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