//System.out.println(supp);
StrongConnectivityInspector connInsp =
new StrongConnectivityInspector(subGraph);
List<Set<GroundLiteral>> tempLoopSet = connInsp.stronglyConnectedSets();
List<Set<GroundLiteral>> loopSet = new ArrayList<Set<GroundLiteral>>();
// Check whether the singleton strongly connected components are truly cycles
for (Set<GroundLiteral> loop : tempLoopSet) {
if (loop.size() == 1) {