ConsistencyModule is the optional module specification to give the consistency level for the propagation for this constraint: gfd_bc for bounds consistency, and gfd_gac for domain (generalised
This constraint is known as arith (with the greater than relation) in the Global Constraint Catalog, and is implemented using Gecode's rel() constraint.
[eclipse 27]: all_gt([4,5,6,7], 4). % succeed [eclipse 28]: all_gt([5,6,7], 4). % fail