Retiming and resynthesis with sweep are complete for sequential transformation