Model re-use limits (similar to linearity)

[Cypher1]

Expected Behavior

Some nodes can only accept a set number of inputs or outputs (e.g. 1:1 for owning pointers, 1:n for video streams, 1:1 for simple types, n:n for last writer win values, etc.).

Actual Behavior

This is not current modeled in Ibis, leading to possible cases where multiple video feeds are connected to the same display (which must then discard one or simply fail).

Future work

• Model this info
• Allow nodes to specify their 'arity' for input and output
• Stretch goal: model aggregation models if provided by the system (e.g. last writer, max, etc.)