pub fn traceback_alifold<T>(
    x: &mut SparsePosMat<T>,
    y: &PosPair<T>,
    z: &ScoresHashedPoss<T>
)where
    T: HashIndex,