Function lambda_mountain::add2cs

pub fn add2cs(
    _src: impl Constant + Literal + Fragment + Sized<2>,
    _dst: impl Constant + StackVariable + Fragment + Sized<2>
) -> impl Fragment + Program