Predicate AutoBoxing::rebox

Holds if e is an assignment that unboxes, updates and reboxes v.

predicate rebox(Assignment e, Variable v)