clist repr now dereferences elements

Author: pjritee

include/pl_search/clist.hpp

@@ -74,7 +74,7 @@ class CList : public Term {
       if (it != elements.begin()) {
         oss << ", ";
       }
-      oss << (*it)->repr();
+      oss << (*it)->dereference()->repr();
     }
     oss << "]";
     return oss.str();