Code generation for boolean operator short circuiting.
Some Mini-Java test programs.