running the "check SomeLeader" command causes sat2cnf to freeze while trying to
find true/false lits...

INFO : 31 bits of state.
INFO : Determining arg multiplicities...
INFO : Determined arg multiplicities.
INFO : marking shared boolean formulas...
INFO : marked shared boolean formulas.
INFO : Dumping formula to file: c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233\clauses.sat
INFO : Done dumping formula to c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233\clauses.sat
INFO : running: c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233\sat2cnf.exe -t c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233 c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233\clauses.sat c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233\clauses.cnf
INFO : sat2cnf.exe: using tmpdir: c:\DOCUME~1\ADMINI~1\LOCALS~1\Temp\alloy22233
INFO : sat2cnf.exe: reading SAT file...
INFO : sat2cnf.exe: in readSAT
INFO : sat2cnf.exe: determining var usage...
INFO : sat2cnf.exe: grounding out...
INFO : sat2cnf.exe: grounded out.
INFO : sat2cnf.exe: done reading SAT file.
INFO : sat2cnf.exe: simplifying ...
INFO : sat2cnf.exe: simplified.
INFO : sat2cnf.exe: finding false/true lits...

UPDATE: problem seems to happen when root is false