Which of them makes $9 million? Get back to me when you find one, and then they'll be on equal footing. Until then? No, apples to oranges waste of time.
Who started there? Go look that up if you need to.
He's not worth what he's being paid, and his contract needs to finally be corrected. If he's willing to come down to being paid for who he is, just as you've said "a solid backup/rotational guy at both DE and DT", that's fine, keep him. But if he isn't? Time to cut the cord, and long overdue.
Here's his comp, also named Crawford:
https://www.spotrac.com/nfl/atlanta-falcons/jack-crawford-9979/
Jack Crawford signed a 3 year, $8,800,000 contract with the Atlanta Falcons, including a $2,500,000 signing bonus, $3,000,000 guaranteed, and an average annual salary of $2,933,333. In 2019, Crawford will earn a base salary of $2,250,000 and a roster bonus of $275,000, while carrying a cap hit of $3,358,334 and a dead cap value of $833,334.
And this guy outperformed him in 2018.
That's return on investment, not wasting money.