	[z] = <- ->
	[y] = <- ->
	[Mu2] = Mutex
	[Mu1] = Mutex
	[#] = <- ->
	[$] = [?]
	main({}) = {tid2%21: <- ->, tid1%20: <- ->, %ret%0: <- ->}
	thread1({a%13: <+ 0 +>}) = {%ret%0: <+ 0 +>, a%13: <+ 0 +>}
	thread2({a%18: <+ 0 +>}) = {%ret%0: <+ 0 +>, a%18: <+ 0 +>}
	inc_z({}) = {x%16: <- ->, status%15: <- ->, post_22%22: <- ->}
