Predicate VariableNameTooShort::allowedVariable

predicate allowedVariable(Variable variable)