[Ada] Use small limit for aggregates inside subprograms

[Ada] Use small limit for aggregates inside subprograms

gcc/ada/

	* exp_aggr.adb (Max_Aggregate_Size): Use small limit for
	aggregate inside subprograms.
	* sprint.adb (Sprint_Node_Actual [N_Object_Declaration]): Do not
	print the initialization expression if the No_Initialization
	flag is set.
	* sem_util.ads, sem_util.adb (Predicate_Enabled): New.
	* exp_ch4.adb (Expand_N_Type_Conversion): Code cleanup and apply
	predicate check consistently.
	* exp_ch6.adb (Expand_Actuals.By_Ref_Predicate_Check): Ditto.
	* sem_ch3.adb (Analyze_Object_Declaration): Ditto.
	* exp_ch3.adb (Build_Assignment): Revert handling of predicate
	check for allocators with qualified expressions, now handled in
	Freeze_Expression directly.
	* sem_aggr.adb: Fix typos.
	* checks.adb: Code refactoring: use Predicate_Enabled.
	(Apply_Predicate_Check): Code cleanup.
	* freeze.adb (Freeze_Expression): Freeze the subtype mark before
	a qualified expression on an allocator.
	* exp_util.ads, exp_util.adb (Within_Internal_Subprogram):
	Renamed Predicate_Check_In_Scope to clarify usage, refine
	handling of predicates within init procs which should be enabled
	when the node comes from source.
	* sem_ch13.adb (Freeze_Entity_Checks): Update call to
	Predicate_Check_In_Scope.