Symbol: pred_name