Improve performance of sat checker.
Remove redundant variable conflictAtLevelZero.