In this assignment, you will implement a symbolic execution engine and play with an existing one.