added NoGood class, other bug-fixes