let add_depend_pred = PRED.depend