# this circuit has unconnected inputs, and should be rejected
# vim:ft=cfg
A: INPUT_HIGH;
B: INPUT_LOW;
F: PROBE;
NODE1: AND;
NODE2: AND;
NODE3: AND;
NODE4: AND;

A: NODE1;
B: NODE1;
NODE1: NODE2,NODE3;
NODE3: NODE4;
NODE4: F;