Fix short-circuit null mip in find_mip