public override String ToString() { return ("DoExp(\n" + Vars.ToString() + ",\n" + Conds.ToString() + ")\n") ; }