let get_pred_linfo kf ki bhv nth t = let name = mk_name "Pfrom_" kf ki bhv nth ""in get_linfo name (None, [t])