bad assert in simd pred/successor