let
merge_id_prop = merge sort_id_prop