SimCGC: do not initialize ecx for blank states.
SimCGC: do not initialize ecx for blank states.

chubbymaggie/angr,f-prettyland/angr,tyb0807/angr,iamahuman/angr,schieb/angr,tyb0807/angr,schieb/angr,chubbymaggie/angr,f-prettyland/angr,axt/angr,tyb0807/angr,chubbymaggie/angr,angr/angr,axt/angr,angr/angr,angr/angr,iamahuman/angr,iamahuman/angr,axt/angr,f-prettyland/angr,schieb/angr