Property definitions

pthreads :: redef_collections $ Array :: mutex
	var mutex = new Mutex
lib/pthreads/redef_collections.nit:38,2--22