In this assignment, you will implement a symbolic execution engine.