write all state labels, not only guards.
temporary workaround for writing lts in multi-process environment.
allocate state on stack, to automatically free it.
Prepare multi-process trace generation:
-> 	move trace generation after a next-state call,
	such that other GB calls do not interfere
	with receiving all successor states.
Prepare multi-process trace generation:
-> 	add long GB calls
Use long multi-process GB calls.