The toolcontext is our entree point to most services

Property definitions

	# The toolcontext is our entree point to most services
	var toolcontext: ToolContext

src/frontend/div_by_zero.nit:53,2--54,29