JCL tests pass with loop invariant motion enabled