If no signal should be ignored, the default behavior of a state can be
defined by creating an input symbol that accepts any signal. Only one
such input symbol is allowed in a state. When a signal arrives, all
constrained input symbols will be checked before the default input symbol.
An input symbol can be shared among several states by creating it within
a state list. The input symbols in a state list are active when the
FSM is in any state named in the state list.
An input symbol can be shared among all states in an FSM by creating it in a
special state called "ANY STATE". Input symbols in the ANY state are
always active.

Any input signal that does not match the input signal on
the left will be handled by the right input any symbol