corrected minor bug in A2w to Sa2W problem reduction