Actually do the ac-3 inference step.
For debugging purposes, calculate a delta between inference and assignment.
Bring the copy within the consistency check.
Show the delta.