Add basic functions for TGNS implementation, require luassert, remove lunity assert