longestCommonPrefixOfNavigableSetAndString [dev.]