class Test

	var _x as int

	def foo
		ensure
			_x==10
		body
			_x = 5
			if _x==5
				return
			_x = 10

	def main is shared
		t = Test()
		expect EnsureException
			t.foo