Fix forall for zero trip loops
generalize bernstein to nd
work on nd bernstein that doesn't work
fixed infinite loop