Property definitions

actors $ Agent :: end_step
	fun end_step do clock_agent.async.finished_step
lib/actors/examples/agent_simulation/agent_simulation.nit:54,2--48