ECSTR14x2: Added discussion of do/while assertions.