pub fn is_atomic(expr: &Expr) -> bool
Check if an expression is in “atomic” form (no reducible subexpressions).
Atomic expressions are: BVar, FVar, Sort, Lit, Const.