Added hashtble info in map_redule.ml