maxNodeId() and maxEdgeId() changed to maxId(Node) and maxId(Edge)
getNodeObserverRegistry() and getEdgeObserverRegistry() changed to
getObserverRegistry(Node) and getObserverRegistry(Edge)

IdMappableGraphExtender erased

./preflow_demo_leda < $1

./preflow_demo_boost < $1

./preflow_demo_jacint < $1

./preflow_demo_athos < $1

./edmonds_karp_demo < $1

./edmonds_karp_demo_alpar < $1

./edmonds_karp_demo_boost < $1