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