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.
Merge pull request #32 from ctucker/boif-fix

Consume binders array as we process it.