### PCs: 1 1 0
--------original PC------------0
original pc # = 1
CONST < a_SYMINT
SPC # = 0
--- end printing original PC ---
--------begin after splitting------------
originalPC # = 1
CONST < a_SYMINT
SPC # = 0
concolicPC # = 0
SPC # = 0
simplePC # = 1
CONST < a_SYMINT
SPC # = 0
--------end after splitting------------
solving: PC # = 1
CONST < a_SYMINT
SPC # = 0
 --> # = 1
CONST < a_SYMINT
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.Type2a_Krawitz(Basic_Class1.java:95)
	at Diss.Basic_Super.Run(Basic_Super.java:27)
	at Diss.Basic_Super.main(Basic_Super.java:11)

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