Input node and output node must be connected.
The number of edges must be less than 10.
The number of nodes must be less than 8.
Cell is not acyclic. (with transparent node/edge)