class S {
	foo is true
	procedure change {
		conditions { }
		effects {
			this.foo is false
		}
	}
}