Member predicate SequenceKind :: flowToMember
predicate
flowToMember
(
Node
fromnode
,
Node
tonode
)