Update pred_suc.cpp