getIntSetArgs and Gecode::count