Ben is still on the team, but if he is not traded at the trade deadline, I think there is a high probability he is released to make a roster spot for a trade or for Troy Williams.
I don't care for Troy Williams. I'd rather we trade Ben for something or outright release him and look at someone else entirely. Maybe take a flier on some young project.