Factored_Transition_System_Bounding.Dependency