### PCs: 1 1 0
--------original PC------------0
original pc # = 1
a_SYMINT <= CONST000
SPC # = 0
--- end printing original PC ---
--------begin after splitting------------
originalPC # = 1
a_SYMINT <= CONST000
SPC # = 0
concolicPC # = 0
SPC # = 0
simplePC # = 1
a_SYMINT <= CONST000
SPC # = 0
--------end after splitting------------
solving: PC # = 1
a_SYMINT <= CONST000
SPC # = 0
 --> # = 1
a_SYMINT <= CONST000
SPC # = 0 -> true
### PCs: 2 2 0

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
thread index=0,name=main,status=RUNNING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  call stack:
	at Diss.Basic_Class1.Type4b_Krawitz(Basic_Class1.java:184)
	at Diss.Basic_Super.Run(Basic_Super.java:34)
	at Diss.Basic_Super.main(Basic_Super.java:11)

--------original PC------------0
original pc # = 1
a_SYMINT > CONST000
SPC # = 0
--- end printing original PC ---
--------begin after splitting------------
originalPC # = 1
a_SYMINT > CONST000
SPC # = 0
concolicPC # = 0
SPC # = 0
simplePC # = 1
a_SYMINT > CONST000
SPC # = 0
--------end after splitting------------
solving: PC # = 1
a_SYMINT > CONST000
SPC # = 0
 --> # = 1
a_SYMINT > CONST000
SPC # = 0 -> true
### PCs: 3 3 0
--------begin after splitting------------
originalPC # = 1
a_SYMINT[1001] > CONST000
SPC # = 0
concolicPC # = 0
SPC # = 0
simplePC # = 1
a_SYMINT[1001] > CONST000
SPC # = 0
--------end after splitting------------
solving: PC # = 1
a_SYMINT[1001] > CONST000
SPC # = 0
 --> # = 1
a_SYMINT[1001] > CONST000
SPC # = 0 -> true
MethodInfo[Diss.Basic_Super.main([Ljava/lang/String;)V]

====================================================== search constraint
Search Depth: 3

====================================================== snapshot 
no live threads
PC # = 1
a_SYMINT[1001] > CONST000
SPC # = 0