Contract C
	Function C.f() (*)
		Expression: (a,b)
		IRs:
		Expression: (a,b)
		IRs:

