Changed well_formed_bindings to a simpler equivalent one