class Foo

	pro v from var as int


class Bar inherits Foo

	invariant
		.x > 0 and x < 100  # .error. Cannot find "x". There is a member named ".x" with a similar name.
		base.v > 0  # .error. Cannot use "base" in invariants.

	def main is shared
		pass

	get x as int
		return 0