Characteristic predicate RedirectSink :: RedirectSink
RedirectSink
(
)