Function butterfly_add 

fn butterfly_add<T: TxOperations>(p0: T, p1: T) -> ((T, T), T)