Characteristic predicate TrivialGetter :: TrivialGetter
TrivialGetter
(
)