# Mapping between a variable and the current value
	var map: Map[Variable, Instance] = new HashMap[Variable, Instance]