ConstructorNames
generic
Contains
collection
Count
collection
char
refined
collection
refined
combine
InferenceRule
constant
Predicate