Replacement of stl vector with minisat-like vector in WatchedList.