Fixed a bug where two code branches with Bindings would never "unify" to one variable.