Bug: variable names do not need to be unique

This is a "valid" code, but should be declined:

implementation Math {
	Q a = 0;
	Q a = 1;
}