Example of DFA regular constraint
---------------------------------
See page 43 of tutorial for problem, directed graph etc
Also see online manual description of regular constraint

Exercise: take the Abarth 595 paint shop and recode using regular