Point 3 is compelling. I think it's likely the President cannot stop a lynch without a Senator calling for it to be stopped first (in other words, his ability is probably passive unless invoked by another player). Unless Cruelle is just fucking with him, which I highly doubt she'd do, the president's ability to stop a lynch is only useful if a town player invokes that ability. If it's only scum with access to that ability, then Cruelle has given the (most likely) most important TPR an ability that can only play to the scum's advantage. That would be a pretty bastardized role, and I don't see Cruelle doing that. Additionally, why would Virothe have sway over the appeals process if it's only scum making the appeals?