let
add_depend_pred =
PRED
.depend