public void transformProgram() {
   for (int i = 0; i < program.basicBlockCount(); ++i) {
     transformBasicBlock(program.basicBlockAt(i));
   }
 }