+ equals & hashCode
* rfct computation of predecessors multimap