25/10/17:

1. Solved a serious Bug in reduce2 
2. Solved all bugs
3. Have to find a proper reason to state that "leq + que = que"
Sparsa Roychowdhury

src/circuitfinder.cpp

@@ -96,7 +96,7 @@ bool CircuitFinder::cycleCheck() //here we need to check if there exists any cyc
     
   }
   //cout << *Stack.begin() << std::endl;
-  if( countles == 1 && flag == true)
+  if( countles > 0 && flag == true)
   {// if this true then the circuit is bad
       cout << "Found a Circuit BANG!!" << endl;
       return true;