if (left) {
                            branch = new ExecStep(ExecType.SWITCH_L, es.getName(), es.getFrameIter());
                        } else {
                            branch = new ExecStep(ExecType.SWITCH_R, es.getName(), es.getFrameIter());
                        }