Thomas: StartWriting()
Thomas: StartTask("Juergen", "{n1}", "{Juergen,Justus}")
Juergen: WorkOnData("Juergen", "i1", "Justus")
Justus: ReadyWithData("Juergen", "i1")
Juergen: TaskReady("Juergen")



//Thomas: StartTask("Juergen", "{n2}", "{Juergen}")
//Juergen: TaskReady("Juergen")
//ed: ReadyWriting()


? collect nr_of_state[self](0, s) 
  for s in next_state[self](scenario_graph.states at 6)
? collect nr_of_state[self](0, s) 
  for s in reachable[self]({ scenario_graph.states at 6})
? collect nr_of_state[self](0, s) 
  for s in visited[self](scenario_graph.states at 3,
                         scenario_graph.states at 6)
? collect o.name
  for o in _poss_opers_in_states[self](
           visited[self](scenario_graph.states at 0,
                         scenario_graph.states at 6))
  iff (o.actor = "Justus" and o.kind = "data")
