Is automatic alpha-conversion evil