Model: System

Join Node: FullModel a:

State Variable Name	Submodel Variables
Accident_minor	State_IS_S_B->Accident
	State_F_S_B->Accident
	Rewards->Accident_minor
Accident_serious	State_IS_F_B->Accident
	State_F_F_B->Accident
	Rewards->Accident_serious
F_F_B	State_IS_S_B->F_F_B
	State_IS_S_NB->F_F_B
	State_IS_F_B->F_F_B
	State_IS_F_NB->F_F_B
	State_F_S_B->F_F_B
	State_F_S_NB->F_F_B
	State_F_F_B->F_F_B
	State_F_F_NB->F_F_B
F_F_B_O	State_IS_S_B->F_F_B_O
	State_IS_S_NB->F_F_B_O
	State_IS_F_B->F_F_B_O
	State_IS_F_NB->F_F_B_O
	State_F_S_B->F_F_B_O
	State_F_S_NB->F_F_B_O
	State_F_F_B->F_F_B_O
	State_F_F_NB->F_F_B_O
F_F_NB	State_IS_S_B->F_F_NB
	State_IS_S_NB->F_F_NB
	State_IS_F_B->F_F_NB
	State_IS_F_NB->F_F_NB
	State_F_S_B->F_F_NB
	State_F_S_NB->F_F_NB
	State_F_F_B->F_F_NB
	State_F_F_NB->F_F_NB
F_S_B	State_IS_S_B->F_S_B
	State_IS_S_NB->F_S_B
	State_IS_F_B->F_S_B
	State_IS_F_NB->F_S_B
	State_F_S_B->F_S_B
	State_F_S_NB->F_S_B
	State_F_F_B->F_S_B
	State_F_F_NB->F_S_B
F_S_B_O	State_IS_S_B->F_S_B_O
	State_IS_S_NB->F_S_B_O
	State_IS_F_B->F_S_B_O
	State_IS_F_NB->F_S_B_O
	State_F_S_B->F_S_B_O
	State_F_S_NB->F_S_B_O
	State_F_F_B->F_S_B_O
	State_F_F_NB->F_S_B_O
F_S_NB	State_IS_S_B->F_S_NB
	State_IS_S_NB->F_S_NB
	State_IS_F_B->F_S_NB
	State_IS_F_NB->F_S_NB
	State_F_S_B->F_S_NB
	State_F_S_NB->F_S_NB
	State_F_F_B->F_S_NB
	State_F_F_NB->F_S_NB
IS_F_B	State_IS_S_B->IS_F_B
	State_IS_S_NB->IS_F_B
	State_IS_F_B->IS_F_B
	State_IS_F_NB->IS_F_B

Join Node: FullModel b:

State Variable Name	Submodel Variables
IS_F_B	State_F_S_B->IS_F_B
	State_F_S_NB->IS_F_B
	State_F_F_B->IS_F_B
	State_F_F_NB->IS_F_B
IS_F_B_O	State_IS_S_B->IS_F_B_O
	State_IS_S_NB->IS_F_B_O
	State_IS_F_B->IS_F_B_O
	State_IS_F_NB->IS_F_B_O
	State_F_S_B->IS_F_B_O
	State_F_S_NB->IS_F_B_O
	State_F_F_B->IS_F_B_O
	State_F_F_NB->IS_F_B_O
IS_F_NB	State_IS_S_B->IS_F_NB
	State_IS_S_NB->IS_F_NB
	State_IS_F_B->IS_F_NB
	State_IS_F_NB->IS_F_NB
	State_F_S_B->IS_F_NB
	State_F_S_NB->IS_F_NB
	State_F_F_B->IS_F_NB
	State_F_F_NB->IS_F_NB
IS_S_B	State_IS_S_B->IS_S_B
	State_IS_S_NB->IS_S_B
	State_IS_F_B->IS_S_B
	State_IS_F_NB->IS_S_B
	State_F_S_B->IS_S_B
	State_F_S_NB->IS_S_B
	State_F_F_B->IS_S_B
	State_F_F_NB->IS_S_B
IS_S_B_O	State_IS_S_B->IS_S_B_O
	State_IS_S_NB->IS_S_B_O
	State_IS_F_B->IS_S_B_O
	State_IS_F_NB->IS_S_B_O
	State_F_S_B->IS_S_B_O
	State_F_S_NB->IS_S_B_O
	State_F_F_B->IS_S_B_O
	State_F_F_NB->IS_S_B_O
IS_S_NB	State_IS_S_B->IS_S_NB
	State_IS_S_NB->IS_S_NB
	State_IS_F_B->IS_S_NB
	State_IS_F_NB->IS_S_NB
	State_F_S_B->IS_S_NB
	State_F_S_NB->IS_S_NB
	State_F_F_B->IS_S_NB
	State_F_F_NB->IS_S_NB