LuaContractor is a lightweight Design by Contract (DbC) framework for the Lua scripting language