fix bug comput_succ_pred_BB