Pasvaz/bindonce — pull request #32 by ctucker (2013-10-17 19:57:56+00:00)
Title: Consume binders array as we process it.

Ensures that we both process newly added binders from bo-if, and that
we only process each binder once.

Address issue #25