Simple static analyzer for Lua