kani-list.json has non-existential `.function_safeness`

[zjp-CN]

The value of function_safeness can be safe and unsafe, but the field can even be absent casuing a null value in data json.

What does the absence mean? safe?