benchmarks/areas/areas.mzn:
	Rename some variable to preventing them clashing with the Zinc stdlib.