ensuringArgumentIsStreamProperty
fun <C : ExecutionContext> Solve.Request<C>.ensuringArgumentIsStreamProperty(index: Int): Solve.Request<C>
Ensures the argument at index of stream_property/2 is either unbound, or one of input, output, alias(_) (the only properties this predicate accepts as a query pattern, as opposed to a reported result).
Throws
(stream_property) otherwise.