Include file:
#include "mcrl2/utilities/uncompiledlibrary.h"
uncompiled_library
mcrl2/utilities/type_traits.h
mcrl2/utilities/unordered_map.h