constraint process package 1.1 <= x < 1.2