Add pragma Preelaborable_Initialization throughout the code