package Examples;

import Sequenic.T2.T2annotation.option;

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