# isconstant(x) test if x is constant; isconstant(-C_1):=true; isconstant(-C_2):=true; isconstant(-C_3):=true; isconstant(C_1):=true; isconstant(C_2):=true; isconstant(C_3):=true;