bit-vector variables in gecode + masters report