pub fn is_leaf(expr: &Expr) -> bool
Check if an expression has no subterms at all (is completely atomic).