make unsat body give no cube

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>
make add_node maintain worklist and cube emptyness

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>
refactor worklist iteration

Signed-off-by: Andrey Rybalchenko <rybal@microsoft.com>