Assumption learning has been finished.
Start resynthesis with new assumption.