upper triangular transpose passing property propagation tests