Tag: plc ladder logic counterexamples