One nice property with (pure) structured programming is that the statement do { ... } while (p); guarantees that p is false after the loop and this m

One nice property with (pure) structured programming is that the statement do { ... } while (p); guarantees that p is false after the loop and this makes it easier to reason about the program. With breaks, however, the loop could be "lying" so to speak.