implicationgraph update