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 }