Added the path selection variable to the reduction relation.