Does Cervelli get traded now?

[Leyland1948]

Realmuto traded to the Phillies does that open a door for a Cervelli trade?