Some initialization steps will be done after all synthesis methods have been run. Xconq will always do these.