Predicate AutoBoxing::unboxed

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

predicate unboxed(BoxedExpr e)