Rename MapSet to TreeTreeMap, so that ‘K’ in Valiente algorithm can be named TreeDAGMap.