Function lambda_mountain::adc2ls

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