You don't need to add `SafeTree` prefix if you have an import on top. e.g.:
```
val Term.Int(42) = parseExpr("42")
```