Predicate DefaultControlNames::controlName

predicate controlName(string prefix)