Should we use a map: ``` VariableWithID map[uint64]symbolic.Variable ``` To store all of the known variables. This would make it easier to retrieve...