Title: Space-safe transformations and usage analysis for call-by-need languages