ada: Couple of small and unrelated cleanups

ada: Couple of small and unrelated cleanups

No functional changes.

gcc/ada/ChangeLog:

	* exp_ch11.adb (Expand_N_Handled_Sequence_Of_Statement): Merge the
	eslif condition with the if condition for cleanup actions.
	* sem_ch6.adb (Analyze_Procedure_Call.Analyze_Call_And_Resolve): Get
	rid of if statement whose condition is always true.
	* sinfo.ads (Finally_Statements): Document their purpose.