Interlaced concolic

[alexeyfridman]

SAT-1628

Currently we use our concrete execution after the symbolic execution is done. We feed the concrete execution engine with results of symbolic execution.

The better and much more effective approach is to execute the concrete engine in the middle of symbolic execution