Characteristic predicate Function::Constructor::Constructor

Constructor()