Fixed bug on restarts with assumptions. Now restarts are performed after propagation and not after conflicts.