let body_of_id_pred = snd