public override void Dump(IndentWriter output) { output.Write("("); Expression1.Dump(output); output.Write(" - "); Expression2.Dump(output); output.Write(")"); }