Static Implications from Circuit
Iterable list of GateValues