Re-adding recursive eqLit flipping

It's needed... I am doing something very wrong, according to
"Reconstructing Solutions after Blocked Clause Elimination" by Jarvisalo
and Biere