Function is_polynomial 

pub fn is_polynomial(expr: &Expression, _var: &Symbol) -> bool

Check if expression is a polynomial in the given variable

Polynomial: only var, constants, +, *, and non-negative integer powers.