fix: polish: reduce function sizes in semantic_function_analysis.f90 (fixes #1941)

[krystophny]

Summary

• streamline function return inference by sharing declaration and assignment checks through a focused helper
• reuse a scoped helper to keep identifier context search under the 50-line soft limit
• delegate function-scope metadata registration to a dedicated routine to keep the entry point concise

Verification

• make test