// example from page 92

\programVariables {
  int i,j;
}

\problem {
j=0 -> 
\<{
Throwable thrown = null;
  try {
    i = i / j; 
 } catch (Exception e) {
   thrown = e;
 } 
}\> (thrown != null)

}