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