Characteristic predicate FieldAccess :: FieldAccess
FieldAccess
(
)