DeleteList does not recursively delete!
Issue #754
new
Used incorrectly, e.g., in Theory SplitDefinitions::execute(Theory t).
Used incorrectly, e.g., in Theory SplitDefinitions::execute(Theory t).