* Removing and lambda-lifting as many server_function as possible.