Function lambda_mountain::add1gg

pub fn add1gg(
    _src: impl Constant + GlobalVariable + Fragment + Sized<1>,
    _dst: impl Constant + GlobalVariable + Fragment + Sized<1>
) -> impl Fragment + Program