Added check for Specializations with non-instantiated definitions; code has been formatted by clang-format