Started work on the symbolic execution.