let ljoinf f =
  List.fold_left (fun p t -> join p (f t)) undefined_position