public void Output(string fname)
        {
#if DEBUG
            var positions = string.Join(", ", Positions.Select(p => $"{p.line} {p.column}"));
            System.IO.File.AppendAllText(fname,
                                         $"{expr.ToString()} {name} {line} {column} {new_val}\n{positions}\n;\n");
#endif
        }