let
body_of_id_pred = snd