Explicitly keep track of singleton clauses for trace.
Explicitly keep track of singleton clauses for trace.

dbueno/funsat,rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat