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