let get_init_linfo t = get_linfo "Init_to_check_fun_deps" (Some t, [Linteger])