Function make_weak_kvar 

fn make_weak_kvar(
    wkvar_map: &mut WeakKvarMap,
    def_id: DefId,
    kvid: &mut KVid,
    self_args: Vec<(Var, Sort)>,
    params: Vec<(Var, Sort)>,
) -> WKVar