Constraints in Traffic formalism - Alloy