# The total steps executed since the beginning
	# A step is the visit of a node in the `todo`-list
	var steps: Int = 0