Move _tseitin down a bit
Update complete_sum implementation