Characteristic predicate TrivialProperty::TrivialProperty

TrivialProperty()