Precised new semantics of SafeLua