add finite_automation_matcher