Tests of reduction of calls to multi-statement bodies.

a1: reduced to a block with a parameter binding decl.
   (Parameter x can't be substituted by z without a shadowing conflict.)

a2: reduced with parameter substitution (no shadowing).

a3: literalized, because of the return statement.

-- go.mod --
module testdata
go 1.12

-- a/a1.go --
package a

func _() {
	z := 1
	f(z, 2) //@ inline(re"f", out1)
}

func f(x, y int) {
	z := 1
	print(x + y + z)
}

-- out1 --
package a

func _() {
	z := 1
	{
		var x int = z
		z := 1
		print(x + 2 + z)
	} //@ inline(re"f", out1)
}

func f(x, y int) {
	z := 1
	print(x + y + z)
}

-- a/a2.go --
package a

func _() {
	a := 1
	f(a, 2) //@ inline(re"f", out2)
}

-- out2 --
package a

func _() {
	a := 1
	z := 1
	print(a + 2 + z) //@ inline(re"f", out2)
}

-- a/a3.go --
package a

func _() {
	a := 1
	g(a, 2) //@ inline(re"g", out3)
}

func g(x, y int) int {
	z := 1
	return x + y + z
}

-- out3 --
package a

func _() {
	a := 1
	func() int { z := 1; return a + 2 + z }() //@ inline(re"g", out3)
}

func g(x, y int) int {
	z := 1
	return x + y + z
}