Function lambda_mountain::sub1cs

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