Siemens ladder representation is woefully inadequate. Often, people will come to me with similar issues, and I just swap it to STL and show them that the code is executing just fine. I know people say that ladder representation is easier to troubleshoot with, but I've found that if the network contains non-boolean instructions or more complex logic, it's more of a hassle than its worth.
So, switch to STL, and analyze the RLO and accumulators, and it will show you the correct status.