Function assert_bound_variable 

fn assert_bound_variable<'db>(
    _db: &'db dyn Db,
    sym_variable: SymVariable<'db>,
    bound_vars: &mut Vec<SymVariable<'db>>,
) -> SymVariable<'db>