Fixed a bug in the constant eliminator.