added arbitrator_brac file and worked on the FSM