rename assert method

include/core/utils/check_log.hpp

@@ -31,7 +31,7 @@ class CheckLog
         is_consistent_ = is_consistent_ and l.is_consistent_;
         explanation_   = explanation_ + l.explanation_;
     }
-    void addAssertion(bool _condition, std::stringstream& _stream)
+    void assertTrue(bool _condition, std::stringstream& _stream)
     {
         auto cl = CheckLog(_condition, _stream.str());
         this->compose(cl);