public override void WriteTo(TextWriter output, int indent)
{
for (int i = 0; i < LeftHandSide.Count; i++)
{
if (i > 0) output.Write(", ");
LeftHandSide[i].WriteTo(output, indent, false);
}
output.Write(" = ");
for (int i = 0; i < RightHandSide.Count; i++)
{
if (i > 0) output.Write(", ");
RightHandSide[i].WriteTo(output, indent, false);
}
}