He's already "lost it" and certainly may never get it back, but it's not obvious he won't regain and pitch well and earn that 2022 option.
As or now, you are right, it looks like a solid no. Perez's option looks a little better - money wise and possibility of taking it wise.