Member predicate MetricClass :: shareField
Holds if m1 and m2 are distinct member functions of this class that
both access a common field.
predicate
shareField
(
MemberFunction
m1
,
MemberFunction
m2
)