Characteristic predicate DotFieldAccess :: DotFieldAccess
DotFieldAccess
(
)