simplify live-out computation