'Counter' example in CIF supervisory controller synthesis documentation has rangeless integer type

The 'counter' example in the language tutorial documentation on supervisory controller synthesis has rangeless integer type. Therefore, if someone copy-past the example and tries to perform data-based synthesis on it, a precondition error will be generated.