[Maria-developers] On possible bug in get_partial_join_cost()