added spec modification into resynthesis