CODE EXAMPLE FOR JAVA

Java Documenting assumptions

if (i % 2 == 0) {
    ...
} else { // We know (i % 2 == 1)
    ...
}