More bug fixes. There is one more bug that was detected by bzip2 test
case and I have written a reducer to get the minimal constraint set.
However, I still have to look into that reduced set