Rewriting to ANF generates names and flattens partial functions

and not only arguments.