Lua interpreter modded to support symbolic execution