StateActions can be directly added to Matchers instead of Automatons