bug/simplifier: redundant conditions
bug/simplifier: redundant conditions

don't remove redundant conditions for scalar index types: we can't distinguish between `constant Z` and `ignore.

sjfloat/accelerate,rrnewton/accelerate