Added PFSM matchers