qsym

 1[jnz] Exploring path for label 'end1'
 2Halting executing
 3Local variables:
 4	a = |main:a|
 5	exit = #x00000001
 6Symbolic variable values:
 7	main:a -> #x00000002
 8	
 9[jnz] Exploring path for label 'end2'
10Halting executing
11Local variables:
12	a = |main:a|
13	exit = #x00000002
14Symbolic variable values:
15	main:a -> #x00000000
16