Bugs in Koalog Constraint Solver