changes to the symbolic execution engine