Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages