syntax tree. For example, we consider that true||b is replaced by true in the following if statement: if (true||b) i = 1; else { int j = i; } Although the new test (i.e. true) cannot evaluate to false, we still add to the graph the edge (F(β),B(γ)): however the false point of true is never reachable (see Table 4). In the presence of finally blocks the jump statements goto, continue and break br...