static void Main(string[] args)
{
RaftEnv re = new RaftEnv();
Node l = new Node(re); Node f = new Node(re);
l.SetPartner(f); f.SetPartner(l);
re.AssignLeader(l); re.AddFollower(f);
l.Step();
re.Run();
}
public void Execute(RaftEnv re)
{
re.Time = this.time;
InnerExecute();
re.Run();
}