Yet another one replacement map {}.flatten ----> flat_map

In order to speed up (~X4.5)  it useful if possible to move from map ... .flatten to flat_map.