This new part is the same as the code above (in the other Failure class). Put it in a function? get_termination_list()?