fn non_internal_value() -> impl Strategy<Value = Value>