internal void AddValue(int var_id, Value val) { mapping[var_id] = val; } internal bool TryGetValue(int var_id, out Value value)