implication graph, v1 using JGraphT