refine APIs tjson_isXXXX