I am an idiot. The bug was fixed by fixing an earlier bug in conversion to clausal form, but I ran the wrong executable to test that the final result was correct