A more rigorous analysis

Basically, I am going to analyze the Pokemon game quite well to ensure that it is close to balance.
Option 1 is to do everything randomly. I mean, predict that day 1s lynch is random night 1s actions are random etc.
However, mafia actions aren't random. The doctor isn't likely to protect His most likely scumster for instance. Does anyone know of an existing formula to figure out town win %?
If it came complete with SAS code, I would appreciate it. If not, I will use random ish actions.
Rule 1: mafia does not target mafia (not always true, but true often enough)
Rule 2: town does not lynch cop/doctor
Rule 3: vig doesn't kill night 1 or night 2
Rule 4: chance of mafia(scum) lynch increases every day
Rule 5: if one player targets another, then subsequent players are more likely to target that player
Then I will run a sim and see if it is roughly balanced. Any other simple rules you think I should add?
Option 1 is to do everything randomly. I mean, predict that day 1s lynch is random night 1s actions are random etc.
However, mafia actions aren't random. The doctor isn't likely to protect His most likely scumster for instance. Does anyone know of an existing formula to figure out town win %?
If it came complete with SAS code, I would appreciate it. If not, I will use random ish actions.
Rule 1: mafia does not target mafia (not always true, but true often enough)
Rule 2: town does not lynch cop/doctor
Rule 3: vig doesn't kill night 1 or night 2
Rule 4: chance of mafia(scum) lynch increases every day
Rule 5: if one player targets another, then subsequent players are more likely to target that player
Then I will run a sim and see if it is roughly balanced. Any other simple rules you think I should add?