Wave Front Set Transformation Under a Diffeomorphism