Symbol: HasInputChannelDestination