Z3::AnyExpr

Any expression, regardless of sort. This is what we can recover from a raw AST pointer, since Z3 only tells us the sort kind at runtime.