public override string ToString() { return string.Format("begin\n{0}\n{1}\nend", Indent(Variables.ToString()), Indent(Statements.ToString())); }