Unlocking the Power of Environment Assumptions for Unit Proofs - Priya, Siddharth (arXiv.org)