package Examples;

import Sequenic.T2.T2annotation.option;

@option("--bdomain=Sequenic.T2.BaseDomain0 --lenexec=10")
public class Pres4 {
	private int i = 3;
	public void m1(int x) {
		if (x > 10)
			i--;
	}
	private boolean classinv() {
		return i >= 0;
	}
}