let pred_info_id (id, _) = id