There are 5702 nodes that can be used as predessesor
for a node with an input port of type Generic Port.
ViewSet for cases.
ViewSet for cases.
Cases whose body cites this case.
Laws whose body cites this case (rare in practice; included for symmetry).