If you make a product of enumaration and integer range, make a guard of that type. Things get broken. Also if you save/load the net again and click in the guard on equality sign, it will show that it is of type Dot, even though it was decleared as another color type. Also, the color type for equality etc. shows only too little of text and the > closing paranthesis for a tupple is broken (shows as \gte).
If you make a product of enumaration and integer range, make a guard of that type. Things get broken. Also if you save/load the net again and click in the guard on equality sign, it will show that it is of type Dot, even though it was decleared as another color type. Also, the color type for equality etc. shows only too little of text and the > closing paranthesis for a tupple is broken (shows as \gte).