improve UnduplicatedBindingConstrainst implementation