# A variable of a logical expression.
class LVar
	super LExpr

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

	redef fun to_s do return name
end