"Producing no output" would of course need to be specified.
I think your definition doesn't quite work, since it's possible to have an
SCC that contains a DelayNode but also contains a cycle with no DelayNode
in it.
Rob
--
“You have heard that it was said, ‘Love your neighbor and hate your enemy.’
But I tell you, love your enemies and pray for those who persecute you,
that you may be children of your Father in heaven. ... If you love those
who love you, what reward will you get? Are not even the tax collectors
doing that? And if you greet only your own people, what are you doing more
than others?" [Matthew 5:43-47]