let
get_pred_linfo t = get_linfo
"Pred_to_check_fun_deps"
(
None
, [t])