Krakatoaの手法
stmt0
if exp1 goto L1;
if exp2 goto L2;
L1: stmt1
L2: stmt2
Ramshaw’s
Pattern matching
stmt0
if (exp1||   !exp2)
   stmt1
stmt2