# The name of the variable (used for representation)
	#
	# Internally, two variables with the same name are not merged
	var name: String