check_for_undefined_behaviors included in di.hpp