class Test

	def main is shared
		Test().testOldExpr(1)

	def testOldExpr(x as dynamic) as int
		ensure
			result == old x + 1
		body
			return x + 1