Function lambda_mountain::add2lg

pub fn add2lg(
    _src: impl Constant + LocalVariable + Fragment + Sized<2>,
    _dst: impl Constant + GlobalVariable + Fragment + Sized<2>,
) -> impl Fragment + Program