Started code for symbolic execution engine.