Instance of the toolcontext

Property definitions

nitc $ CallSiteVisitor :: _toolcontext
	# Instance of the toolcontext
	var toolcontext: ToolContext
src/contracts.nit:222,2--223,29