Unsynthesize logic works in Cook.