The class ''Constraints'' is as follows:
----{{{public class Constraints {
	public boolean aB(int a, int b) {
		return a < b;
	}
	public boolean positive(int a) {
		return a > 0;
	}
} }}}----
