public override String ToString() { return ("DoExp(\n" + Vars.ToString() + ",\n" + Conds.ToString() + ")\n") ; }
public override String ToString() { return (Head.ToString() + ((Tail != null) ? Tail.ToString() : null)); }