Function bind_variable 

fn bind_variable<'db, T>(
    sym_variable: SymVariable<'db>,
    bound_vars: &mut Vec<SymVariable<'db>>,
    op: impl FnOnce(&mut Vec<SymVariable<'db>>) -> T,
) -> T