It doesn’t need to be that complicated. In fact, none of the special roles would have even needed to use their powers. Just giving each innocent a unique number (from 1 to 5) at the beginning of the game (and no special powers) would have been enough to force the win.