Fraig very first

1. Not merging UNSAT FEC pairs
2. Bug seems occur when re-simulate in fraig
3. Output formatting