CAS questions: IF...THEN and length() function

[parisse]

Indeed, return should be recognized like RETURN.
Expressions are coded as trees. size will return the number of arguments : try size(sin(x)) or size(x+y+z), while op(a) will return the sequence of arguments of the root-node function/operator of a.