Modified uniqueBinders function to prevent overlapping binders.
Merge pull request #1258 from bmsherman/uniqueBinders

Fix possible bug in alpha conversion