Sat Preprocessing Bug

[rkaminsk]

The following program becomes unsatisfiable when sat preprocessing is enabled. Without, clasp returns the expected solutions.

asp 1 0 0
1 0 1 1 0 0
1 0 1 2 0 0
1 0 1 3 0 0
5 4 2
5 5 2
1 0 1 6 0 1 -7
1 0 1 8 0 1 -9
1 0 1 7 0 0
1 0 1 4 0 1 -10
1 0 1 6 0 2 4 -9
1 0 1 4 0 2 5 -11
1 0 1 9 0 1 4
1 0 1 10 0 1 8
1 0 1 11 0 2 5 8
4 4 a(0) 1 9
4 4 a(1) 1 11
4 4 b(0) 0
4 4 b(1) 1 10
0

[BenKaufmann]

Thanks.
Hopefully fixed in dev.