# All different: x, y, z all different, each 0..2
var x 0 2
var y 0 2
var z 0 2
allDiff x y z
