Code review comment for lp:~tapaal-contributor/tapaal/fix1953355

I just realised that the names are case sensitive,
so if I have color type

Votes is [1,2,3]

I can still create a constant

voters

but if I name it as Voters that I get the warning.