Make valid HHAS of the HelloWorld example using SSA
Emit valid HHAS for returning functions. See examples/calc.go