Some loops had been visited during the visit

Property definitions

nitc $ TypeVisitor :: has_loop
	# Some loops had been visited during the visit
	var has_loop = false
src/semantize/typing.nit:631,2--632,21