// Check whether the singleton strongly connected components are truly cycles
for (Set<GroundLiteral> loop : tempLoopSet) {
if (loop.size() == 1) {
Iterator<GroundLiteral> it = loop.iterator();
GroundLiteral l = it.next();
if (subGraph.containsEdge(l, l)) {
loopSet.add(loop);
}
} else {
loopSet.add(loop);
}