if self.data["termination"] == []:
            self.problems.append(("termination", []))