Returns whether the type of S has preelaborable initialization.
S’Preelaborable_Initialization return Boolean