Predicate Util::describeExpression

Gets a string that describes e.

string describeExpression(Expr e)