Member predicate MisspelledIdentifier::WrongIdentifierPart::prefixOf

Holds if this identifier part is a (proper) prefix of right, which is a correct spelling with length rightlen.

predicate prefixOf(string right, int rightlen)