isatom(x_):=If(type(x) == Variable or type(x) ==Integer or  type(x) ==Real or isconstant(x), true, false);