Predicate AutoBoxing::boxed

Holds if e is in a syntactic position where it is implicitly boxed.

predicate boxed(PrimitiveExpr e)