Started implementing symbolic execution.