Added generation of reduction transitions