Contract C
	Function C.f() (*)
		Expression: x.length
		IRs:
			REF_0 -> LENGTH x
		Expression: address(this).balance
		IRs:
			TMP_0 = CONVERT this to address
			TMP_1(uint256) = SOLIDITY_CALL balance(address)(TMP_0)
		Expression: block.coinbase
		IRs:
		Expression: msg.sender
		IRs:
		Expression: tx.origin
		IRs:
		Expression: S({a:5}).a
		IRs:
			TMP_2(C.S) = new S(5)
			REF_1(uint256) -> TMP_2.a

