Predicate HardcodedCredentials::fewer_characters_than

predicate fewer_characters_than(StrConst str, string char, float fraction)