Fix for semantic conflict and decision levels
Fix for semantic conflict and decision levels

When faced with a semantic conflict, a new decision
must be made to solve the conflict, however, because
we just backtracked, it is not ensured that the solver
is in a correct state to add a new level, so the decision
is now delayed until propagation has been done.

Gbury/mSAT