3.9 Aspect Default_Initial_Condition

This aspect is equivalent to pragma Default_Initial_Condition.