Start modifying resynthesis and execute to check for internal flags