make ANF after REC transformation
minor