Property definitions

nitc $ ProjTree :: tc=
	var tc: ToolContext
src/nitls.nit:28,2--20