remove bound-vars