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