separating ConcolicExecution out of JustSmali