Predicate Private::Steps::prohibitsUseUseFlow

Holds if use-use flow starting from arg should be prohibited.

This is the case when arg is the argument of a call that targets a flow summary where the corresponding parameter either clears contents or expects contents.