pub fn bind_outer_refs(outer_binding: &Binding, outer_refs: &[Var]) -> Binding
Check if a binding satisfies correlation constraints