Member atermpp::aterm_core::aterm_core (const detail::_aterm *t) noexcept: Should be protected, but this cannot yet be done due to a problem in the compiling rewriter.
Member atermpp::detail::function_symbol_pool::register_prefix (const std::string &prefix): These functions are all used by the function_symbol_generator and should probably not be public. \threadsafe
Class mcrl2::utilities::unordered_set< Key, Hash, Equals, Allocator, ThreadSafe, Resize >: Does not implement std::unordered_map equal_range and swap.