DirectedGraph<GroundLiteral, DefaultEdge> depGraph = getDependencyGraph();
for (DefaultEdge e : depGraph.edgeSet()) {
if (supp.contains(depGraph.getEdgeSource(e)) && supp.contains(depGraph.getEdgeTarget(e))) {
subGraph.addEdge(depGraph.getEdgeSource(e), depGraph.getEdgeTarget(e));
}
}
//System.out.println(supp);