A Simple Region Inference Algorithm for a First-Order Functional Language