Removed watched list iterators in class Clause.