Small correction to properly initialize the random number seed that needs to be specified for
constraint trees.