Check binders during DCE

Fixes #786