a.cpp:26:2: warning: no newline at end of file
/home/ghost/Work/boost/boost/serialization/oserializer.hpp: In member function 
   `void boost::serialization::oserializer<Archive, 
   T>::save_object_data(boost::archive::basic_oarchive&, const void*) const 
   [with Archive = boost::archive::basic_binary_oarchive<std::ostream>, T = 
   BlockFormula]':
/home/ghost/Work/boost/boost/mpl/greater_equal.hpp:43:   instantiated from here
/home/ghost/Work/boost/boost/serialization/oserializer.hpp:62: error: call of 
   overloaded `serialize(boost::archive::basic_binary_oarchive<std::ostream>&, 
   BlockFormula&, unsigned int)' is ambiguous
/home/ghost/Work/boost/boost/serialization/serialization.hpp:55: error: candidates
   are: void boost::serialization::serialize(Archive&, T&, long unsigned int) 
   [with Archive = boost::archive::basic_binary_oarchive<std::ostream>, T = 
   BlockFormula]
/home/ghost/Work/boost/boost/serialization/map.hpp:57: error:                 
   void boost::serialization::serialize(Archive&, std::map<Key, Compare, 
   Allocator, std::allocator<std::pair<const Key, Compare> > >&, unsigned int) 
   [with Archive = boost::archive::basic_binary_oarchive<std::ostream>, Key = 
   int, Compare = int, Allocator = std::less<int>]