make productions with different binders compare unequal.

Hopefully this will solve the issue with the race condition on substitution with nailgun.