Just thinking of Nilsson's trick here:

- if(has_value(str, "\0")) + if( String.range(str)[0]==0 )

I was about to suggest moving this optimization to f_has_value(), but I now see that it's already part of f_search() (called by f_has_value) for string/string cases so this is just an obfuscation.