(AND/IF_1.0 % This spec uses an undeclared symbol (NFA (NAME Wire with undeclared symbols) (INTERPRETATION Verhoeff/XDI) (SYMBOLS (b OUTPUT) ) (STATES (0 INITIAL BOX) (1 TRANSIENT) ) (TRANSITIONS (0 1 a) (1 0 b) ) ) )