Factored_Transition_System_Bounding.Acyclicity