compute parent_function.local_variable_allocation
resolve ReturnStmts back to their parent function