word Min3 = [
	A <= B && A <= C : A;
	B <= C 		 : B;
	1		 : C;
];

word Min3 = [
	C <= B && C <= A : C;
	B <= A 		 : B;
	1		 : A;
];