Tighten up the rules for precise lifetime and document
the requirements on the ARC optimizer.

rdar://13407451