isl_map.c: basic_set_maximal_difference_at: extract out join_initial