Debug branch: Soundness bug in AUFNIRA

[numairmansur]

Hi @levnach
On the following satisfiable file, I get "unsat" in the debug branch.

aufnira.smt2

master returns (error "out of memory")

commit: 64de08b

[levnach]

Does not finish now 9181e66