Predicate VariableNameTooShort::allowedName

predicate allowedName(string name)