fix implication graph, only after eternalization knowledge can be used for planning!