cleanup for ensure_binding() of s_rules.cc